Tentative fix for the binary heap delete minimum.