K 10 svn:author V 3 jkh K 8 svn:date V 27 1997-01-21T05:49:54.000000Z K 7 svn:log V 243 Clean up some punctuation hair I noticed. seems to be not-liked by our HTML conversion right now, so I've switched over to sections which should accomplish the same effect (and also look consistent with other examples). END