- fix syntax error in texinfo
- rel 5