Minor change in manpage