[1408] (actually [1409]) Top-banner when logged in - Fix the log-out link when not running with Drupal.