bug fix: deleting an index could leave the member record type's prefix
in an inconsistent state