Menu-related niceties.