Formatted code in navigation.js