Hot small fix for ordering in Set type