Correct spelling of run_navigation_contollers