Fix error because of treemultiset