Minor cleanup of Dockerfile.