small tweaks to man files