Editorial changes to Dockerfile