completed __down_heapify__.