--- mintmenu.new/usr/lib/linuxmint/mintMenu/plugins/applications.py	2013-05-27 01:40:13.418169000 +0300
+++ mintmenu.new/usr/lib/linuxmint/mintMenu/plugins/applications.py.mga	2013-05-27 01:12:18.041275000 +0300
@@ -1756,6 +1756,8 @@ class pluginclass( object ):
         num = 1
 
         for menu in self.menuFiles:
+            if menu.directory == None:
+                continue
             for child in menu.directory.get_contents():
                 if child.get_type() == matemenu.TYPE_DIRECTORY:
                     icon =  str(child.icon)
@@ -1782,6 +1784,8 @@ class pluginclass( object ):
 
         for menu in self.menuFiles:
             directory = menu.directory
+            if directory == None:
+              continue
             for entry in directory.get_contents():
                 if entry.get_type() == matemenu.TYPE_DIRECTORY and len(entry.get_contents()):
                     #Entry is a top-level category