Fixed push in priority queue to make idempotent.