How about changing "in the event that a user" to "in the case a user"?