Small Navigation.js cleanup