Minor changes to the Dockerfile