Ensure that SortedSet is used in HTML renderer