navbar.php: Bug #5