--- a/PluginManager/PluginManager.py	Fri May 30 13:17:20 2014 +0200
+++ b/PluginManager/PluginManager.py	Fri May 30 15:16:40 2014 +0200
@@ -283,7 +283,7 @@
         
         if self.__develPluginFile:
             path = Utilities.splitPath(self.__develPluginFile)[0]
-            if not path in sys.path:
+            if path not in sys.path:
                 sys.path.insert(2, path)
             UI.PixmapCache.addSearchPath(path)