Fixes to man pages