Fixes some code examples for navigation tutorial
Merge remote-tracking branch 'origin/pr/1270'

Close #1270