Minor tweak to the editor's menu bar