Fix a buglet in calculating menu width.