Minor improvements to PriorityQueue