small fix in the Dockerfile.