--- casetracker.module.orig	2007-06-20 11:59:16.000000000 +0200
+++ casetracker.module	2007-06-20 11:59:22.000000000 +0200
@@ -652,7 +652,7 @@ function casetracker_cases_overview($pro
 
       // if value exists, this is a keyed filter
       // like state:15,16 or similar. README.txt.
-      if ($case_filter[1]) {
+      if (isset($case_filter[1])) {
         $case_filter_values = explode(',', $case_filter[1]);
 
         if ($case_filter[0] == 'assigned') {