Ensuring the Permissions plugin consults options.userId() when updating permissions.