Ignore Delete

It’s not cosmetic, it’s a genuinely corrupted index unlike in the other cases.