Menu

This change in the menu is for Release 1.2.
Why were they escaped? Do they need to be escaped?