heap-binary: bug fix, bubble_down did not work for N==1