Documentation fixes to build with texinfo >= 5.0