diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 5b66ec5c0d049cfa2498c4b161151e48999e54e0..992743ff4c890b8cce406f532cc797df62d110dc 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -208,9 +208,8 @@ function filterEva(p: Property): boolean {
     switch (p.taint) {
       case 'not_tainted':
       case 'not_applicable':
-        const data_tainted_only = filter('eva.data_tainted_only');
-        const ctrl_tainted_only = filter('eva.ctrl_tainted_only');
-        return !(data_tainted_only || ctrl_tainted_only);
+        return !filter('eva.data_tainted_only') &&
+               !filter('eva.ctrl_tainted_only');
       case 'direct_taint':
         return !(filter('eva.ctrl_tainted_only'));
       case 'indirect_taint':