Fixed texinfo5 strictness bugs

This version of gcc will not build on machines with texinfo 5 or above. This patch fixes this by making the texi files conform to the stricter syntax.