- fix syntax error in texinfo source
- updated files