K 10 svn:author V 5 luigi K 8 svn:date V 27 2001-11-01T08:30:38.000000Z K 7 svn:log V 52 Remove an extra splimp() call. Spotted-by: diff(1) END