Fix priority queue bug found by scalacheck
Merge pull request #280 from twitter/fix-priority-queue

Fix priority queue bug found by scalacheck