I've applied the attached patch to CVS. It makes a few minor SGML markup improvements, and adds an additional cross-reference.
-Neil