Another Dockerfile fix