fixed a bug in dwnward_heapify