logout

minor stylistic change