correct the last line of the heap-inl.h