Fix a bug in texinfo-make-menu.