K 10 svn:author V 3 jkh K 8 svn:date V 27 1994-12-01T20:00:32.000000Z K 7 svn:log V 77 Fix another unfortunate little buglet intruduced during the Great Renaming.. END