Fix for heap top();