Comment 3 for bug 437354

Thanks for your bugreport.

Do you have edited the menu with a tool like the gnome menu editor? What does your .config/menus/applications.menu file look like?