- fix for texinfo 5
- rel 3