Small fixes to the manpages