Fix BinaryHeap api