Correct Dockerfile