Fix bug that snuck into binary heap