Removed dependency on Set.toDescList