minor nav-bar tweak