K 10 svn:author V 3 bde K 8 svn:date V 27 2006-12-29T15:29:49.000000Z K 7 svn:log V 99 Fixed some style bugs (mainly assorted errors in comments, and inconsistent spelling of `result'). END