(*) Fix for MergeSorted_ReturnsCorrectSequence() test