CellDoubleHeap: fixing merge problem again