re #876 - revising naming of some menu items