correct several markup errors caught by the GNU info conversion
(ported from release24-maint branch revision 1.86.2.3)
1 file changed