better DEL output in clean_up