code police and make do_menu() obey the hide_bars param which was never meant to...