Minor change in priority queue