Minimal testcase showcasing the bug when being converted with texi2dvi --pdf --batch foo.texi.
texi2dvi --pdf --batch foo.texi