fix incompatibility with texinfo 5.0

fixed format according to texinfo 5
Merge pull request #1 from pkit/texinfo-5-fix

fix incompatibility with texinfo 5.0