Don't skip the CopyMI when removing kill markers.