Minor fixes to mergesort