Minor touch-up to sorted-map-by