K 10 svn:author V 3 pst K 8 svn:date V 27 1996-06-08T20:22:38.000000Z K 7 svn:log V 37 Bring fix for kern/1159 in from HEAD END