misc update $_SESSION['navigation']