fix a bug in finding RETs
fix a bug in addent