diff --git a/ivette/src/frama-c/kernel/Messages.tsx b/ivette/src/frama-c/kernel/Messages.tsx
index 9d9751185be2522bc2f4ae4f54d79ff561bcd9b3..92cd4ef328455156605bbaac0432612523cededd 100644
--- a/ivette/src/frama-c/kernel/Messages.tsx
+++ b/ivette/src/frama-c/kernel/Messages.tsx
@@ -426,9 +426,9 @@ export default function RenderMessages() {
 
   const [model] = React.useState(() => {
     const f = (msg: Message) => msg.key;
-    const model = new Arrays.CompactModel<string, Message>(f);
-    model.setOrderingByFields(byMessage);
-    return model;
+    const m = new Arrays.CompactModel<string, Message>(f);
+    m.setOrderingByFields(byMessage);
+    return m;
   });
 
   const data = States.useSyncArray(Kernel.message).getArray();