fix dense version of immutable priority queues