fixed set_union()