fixed syntax error in navigation.el