small fixes to man files