Fix typo in Docker documentation