Minor manpage wording touchup.