K 10 svn:author V 3 dcs K 8 svn:date V 27 2000-09-08T16:58:31.000000Z K 7 svn:log V 85 Fix an error message which was using the wrong variable to get the kernel name from. END