Minor changes to Dockerfile