Small documentation fix in Dockerfile.