fixed set_difference()