diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 992743ff4c890b8cce406f532cc797df62d110dc..2f21e3e4b43b90b05b8dd566979b6e1b7131a964 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -262,8 +262,8 @@ const renderTaint: Renderer<States.Tag> =
     let color = 'black';
     switch (taint.name) {
       case 'not_tainted': id = 'DROP.EMPTY'; color = '#00B900'; break;
-      case 'data_tainted': id = 'DROP.FILLED'; color = '#FF8300'; break;
-      case 'control_tainted': id = 'DROP.FILLED'; color = '#73BBBB'; break;
+      case 'direct_taint': id = 'DROP.FILLED'; color = '#FF8300'; break;
+      case 'indirect_taint': id = 'DROP.FILLED'; color = '#73BBBB'; break;
       case 'error': id = 'HELP'; break;
       case 'not_applicable': id = 'MINUS'; break;
       default:
@@ -304,8 +304,8 @@ const byStatus =
 const byTaint =
   Compare.option(
     Compare.byRank(
-      'data_tainted',
-      'control_tainted',
+      'direct_taint',
+      'indirect_taint',
       'not_tainted',
       'error',
       'not_applicable',