Minor fix to mergesort code