Made DBPermissionManager rolesWereChanged() and personaWasChanged() slightly more efficient.