K 10 svn:author V 2 dg K 8 svn:date V 27 1995-09-17T06:37:42.000000Z K 7 svn:log V 71 Brought in changes from rev 1.9: bandaid for NULL pointer dereference. END