diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 53650f233aa9dd018d3b0e1c694af24438f388c7..339961b65b0344a4dddf128fdbbeb1b71abb56b5 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -162,7 +162,6 @@ export default function ASTview() {
   const printed = React.useRef<string | undefined>();
   const [selection, updateSelection] = States.useSelection();
   const [hoveredLoc] = States.useHovered();
-  const selfhover = React.useRef(false);
   const multipleSelections = selection?.multiple.allSelections;
   const theFunction = selection?.current?.fct;
   const theMarker = selection?.current?.marker;
@@ -223,12 +222,12 @@ export default function ASTview() {
         return 'dead-code';
       if (deadCode?.nonTerminating?.some((m) => m === marker))
         return 'non-terminating';
-      if (!selfhover.current && marker === hovered)
+      if (marker === hovered)
         return 'hovered-marker';
       return undefined;
     };
     buffer.setDecorator(decorator);
-  }, [buffer, multipleSelections, selfhover, hovered, deadCode]);
+  }, [buffer, multipleSelections, hovered, deadCode]);
 
   // Hook: marker scrolling
   React.useEffect(() => {
@@ -238,7 +237,6 @@ export default function ASTview() {
   function onHover(markerId?: string) {
     const marker = Ast.jMarker(markerId);
     const fct = selection?.current?.fct;
-    selfhover.current = (marker !== undefined);
     States.setHovered(marker ? { fct, marker } : undefined);
   }