Merging at the end in the one-merge-one-pass order is actually correct