K 10 svn:author V 3 jkh K 8 svn:date V 27 2000-07-26T12:19:14.000000Z K 7 svn:log V 62 Fix a paste-o error which broke the build Pointy-hat to: jhb END