Update heap.txt: correct mistakes