K 10 svn:author V 5 edwin K 8 svn:date V 27 2002-10-29T05:08:48.000000Z K 7 svn:log V 118 Undo damage done by check if the SED could have been replaced by a REINPLACE. Thanks to Patrick Li for spotting this. END