minor (and inert) changes to logout.php

minor (and inert) changes to logout.php