A couple of improvements to SortedVector.