fixes unchanged pub-sub in navigation.js to refactorded naming