fixes error in collect_old_leader_search