more adjustments to man pages