shorter version for downHeap