appreciate Katoh-san for helping to find a bug

in the texinfo->latex conversion script (issue #7)