--- a/server/src/app/Libraries/Filters/CorpusFilterManager.php	Mon Nov 14 15:39:05 2016 +0100
+++ b/server/src/app/Libraries/Filters/CorpusFilterManager.php	Mon Nov 14 16:27:37 2016 +0100
@@ -16,7 +16,7 @@
         }
 
         if(is_string($ids)) {
-            return split(",", $ids);
+            return explode(",", $ids);
         }
         else return $ids;
     }