Solve issue #2: add a menu.