Fix a bug in mergesort