Merge pull request #6532 from jonboulle/fix_capitals

be consistent in capitalization of Docker