Minor tweaks to configurable menus (issue #173).