Minor fix in Dockerfile