Minor changes on nav.php