Buggy mergesort