[COMMIT] Eliminate a few problems in man/internals/internals.texi