Fix broken Dockerfile