Minor fix in the help message