Minor change in PriorityQueue