Fix a couple more rookie mistakes in Dockerfile