- fix for texinfo 5