diff --git a/.gitignore b/.gitignore
index 42c9c1e..07fe371 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 vendor
 settings.php
-nbproject/private
\ No newline at end of file
+nbproject/private
+*.sync-conflict*
\ No newline at end of file
diff --git a/app.php b/app.php
index e64530d..c855a1c 100644
--- a/app.php
+++ b/app.php
@@ -78,10 +78,6 @@ if (!is_empty($_GET['page'])) {
                         <a class="navbar-brand" href="app.php">
                             <?php
                             echo SITE_TITLE;
-                            // add breadcrumb-y thing
-                            //lang("home");
-                            //echo " <i class=\"fa fa-caret-right\"></i> ";
-                            //lang(PAGES[$pageid]['title']);
                             ?>
                         </a>
                     </div>
@@ -114,7 +110,7 @@ if (!is_empty($_GET['page'])) {
                             ?>
                         </ul>
                         <ul class="nav navbar-nav navbar-right">
-                            <li><span class="navbar-text navbar-link"><i class="fa fa-user fa-fw"></i> <?php echo $_SESSION['realname'] ?></span></li>
+                            <li><a href="<?php echo PORTAL_URL; ?>"><i class="fa fa-user fa-fw"></i> <?php echo $_SESSION['realname'] ?></a></li>
                             <li><a href="action.php?action=signout"><i class="fa fa-sign-out fa-fw"></i> <?php lang("sign out") ?></a></li>
                         </ul>
                     </div>
diff --git a/settings.template.php b/settings.template.php
index f370277..70159f6 100644
--- a/settings.template.php
+++ b/settings.template.php
@@ -29,6 +29,8 @@ define("MENU_BAR_STYLE", "fixed");
 
 // URL of the Business Portal API endpoint
 define("PORTAL_API", "http://localhost/api.php");
+// URL of the Portal home page
+define("PORTAL_URL", "http://localhost/home.php");
 // Business Portal API Key
 define("PORTAL_KEY", "123");