Final changes for 4.2.7. Corrected the previous fix for texi2man bug