Minor fix -- priority_queue still needs additional fix