fix to reheapdown