man page tweaks (more)