changes to priorityqueue.cc