changes to navigation.js