Update ch03_navigation.tex