Minor tweak to set_nav_bar_button