Minor editing for sorted-set