Bug fix in model/WithValueIsOrderableSet