correctly renumber MI when copy-paste bug #10192