Minor fix in manpage