Fix bug in navigation.