priority_queue: fix bug in test case (#18)