minor tweaks to SortedMapping_Factory.h