fixup mistake in loop invariant checking of the mergeInto implementation