fix addition_for_navigation_bar.user.js