More fixes for the man page generation