Tiny commit to add INavigation