Minor changes to Dockerfile.