updates to heap.tex