diff -up gnome-shell-3.1.4/src/shell-app-system.c.avoid-redhat-menus gnome-shell-3.1.4/src/shell-app-system.c
--- gnome-shell-3.1.4/src/shell-app-system.c.avoid-redhat-menus	2011-08-19 10:36:34.000000000 -0400
+++ gnome-shell-3.1.4/src/shell-app-system.c	2011-08-19 12:27:23.639591444 -0400
@@ -93,7 +93,7 @@ shell_app_system_init (ShellAppSystem *s
    * handle NODISPLAY semantics at a higher level or investigate them
    * case by case.
    */
-  priv->apps_tree = gmenu_tree_new ("applications.menu", GMENU_TREE_FLAGS_INCLUDE_NODISPLAY);
+  priv->apps_tree = gmenu_tree_new ("applications-gnome.menu", GMENU_TREE_FLAGS_INCLUDE_NODISPLAY);
   g_signal_connect (priv->apps_tree, "changed", G_CALLBACK (on_apps_tree_changed_cb), self);
 
   priv->settings_tree = gmenu_tree_new ("gnomecc.menu", 0);