Fix sometimes-doubled menu.