Avoid some redundancy between left and right menus.