Fix #5: UserModel goes sometimes out of sync