ondemandnavi: correct typo in naviconfig.ini