Some corrections in the Dockerfile