Fix menu error, see issue #194.