Fixes to manpages