--- mintMenu/plugins/easybuttons.py.orig	2011-10-12 12:59:06.424741648 -0500
+++ mintMenu/plugins/easybuttons.py	2011-10-12 12:59:50.925424915 -0500
@@ -283,7 +283,7 @@
             self.appName = desktopItem.getName()
             self.appGenericName = desktopItem.getGenericName()
             self.appComment = desktopItem.getComment()
-            self.appExec = desktopItem.getExec()
+            self.appExec = desktopItem.getExec().replace('\\\\', '\\')
             self.appIconName = desktopItem.getIcon()
             self.appCategories = desktopItem.getCategories()
             self.appGnomeDocPath = desktopItem.get( "X-GNOME-DocPath" ) or ""