Some corrections on navigation.tex