Minor fix in docker file instructions