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);