Fix Dockerfile.