Fixing the Dockerfile