Update navigation.cc