Fix #42: menu