Bug fix: deleting an index does NOT detach the key from the record and
the elements involved, only from the member role.