Change definition of retag_set.