adding a comment to user_logout()