correcting a bug affecting menus