Strange Gnome menu problem