Added down_heapify.