Doc fix.

Refs #12685
Merge pull request #12771 from cachedout/docker_doc

Doc fix.