Little tweaks in man pages