Fix the man pages fix.