Whitespace fix in docker install documentation.

no issue #