K 10 svn:author V 4 nork K 8 svn:date V 27 2002-05-01T18:01:09.000000Z K 7 svn:log V 44 fix a minor bug. Approved by: knu (mentor) END