Hi Eli,

Thanks for spotting the additional corrections.  I'm inexperienced with 
texinfo so I want to run the patch past you before I commit.  makeinfo 
and texi2html don't give any warnings when processing this - I believe 
it to be correct.

I re-fmt(1)'ed a couple of paragraphs that got too wide so the diff 
looks larger than it really is.