Better documentation on priority queue.