Fixes to the Dockerfile.