sorting: readability fix in mergesort