More fixes for the man pages