Fix a bug by not using a heapify down