Editor: fixes wrong naming in menubar