minor updates in manpages