Minor simplification in final sift step in heap-sorts