removed a repetition
cleanings in the binheap implementation