small edits to man files