Delete unneeded (and wrong) ordering on Set