Update nav.el