diff --git a/account.php b/account.php
index e0ab88a..a5720d8 100644
--- a/account.php
+++ b/account.php
@@ -41,10 +41,10 @@
         
         // display confirmation
         if ($ok_del) {
-            $ret .= $_SESSION['myprofile']->success('Your profile has been deleted.');
+            $ret .= success('Your profile has been deleted.');
             $ret .= "<div><br/>Attention: do not forget to delete the corresponding certificate from your browser, since it is useless now.</div>\n";
         } else {
-            $ret .= $_SESSION['myprofile']->error('Could not remove your profile!');
+            $ret .= error('Could not remove your profile!');
         }
                     
         // log user out and clear WebID session	
diff --git a/header.php b/header.php
index 0976ea0..b4cb5e1 100644
--- a/header.php
+++ b/header.php
@@ -159,7 +159,7 @@
         echo "</ul>";
         echo "</li>\n";
         echo "<li class=\"divider\"></li>\n";
-        echo "<li><a href=\"".BASE_URI."?logoff\"  onclick=\"logout();\">Log out?</a>";
+        echo "<li><a href=\"".BASE_URI."?logoff\"  onclick=\"logout();\">";
         echo "<img title=\"Sign out\" alt=\"Sign out\" src=\"".BASE_URI."/img/signout.png\"></a>";
         echo "</li>\n";
     } else {