Found bug in SortedCollection