Fix SplPriorityQueue for same priorities.