NO-JIRA: remove extraneous character in navigation.conf