Minor fix in the man page.