diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index ed121ec00c493040882a96bb5da91a05da589839..18c8c5ac5006fc6d6f633d657d547343933515d5 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -441,13 +441,11 @@ function PropertyFilter() {
         <CheckField
           label="High-priority only"
           path="eva.priority_only"
-          highligh
           title="Show only high-priority properties for the Eva analysis"
         />
         <CheckField
           label="Tainted only"
           path="eva.tainted_only"
-          highligh
           title="Show only tainted properties according to the Eva taint domain"
         />
       </Section>