Minor fix to Dockerfile