fix subtle bug with (some) base class initializers for SortedSet