K 10 svn:author V 5 joerg K 8 svn:date V 27 1997-01-30T22:47:55.000000Z K 7 svn:log V 77 Fix a benign type mismatch i've introduced in rev 1.40. Pointed out by: bde END