diff --git a/src/plugins/eva/Eva.mli b/src/plugins/eva/Eva.mli
index 25d2834bf98632ebd688e1fb7cbe8d612e971784..ae2a20ae8290e181f17ee018e2e4de1c84967ba0 100644
--- a/src/plugins/eva/Eva.mli
+++ b/src/plugins/eva/Eva.mli
@@ -977,7 +977,7 @@ module Export: sig
      instruction or the branching condition of the statement. Other kinds of
      statements, like loops, blocks and exceptions are not visited.
 
-     More precisely, for set and call instructions: the writen l-values from
+     More precisely, for set and call instructions: the written l-values from
      left-hand-side are not visited, but their inner l-values are visited; any
      l-value from the right-hand-side of the instruction is also visited.
   *)
@@ -990,14 +990,13 @@ module Export: sig
   (**
      Creates a visitor that can be used to generate new annotations for all
      visited instructions. The generated assertions are associated with the local
-     {!generated} emitter. They are all assigned a valid status by
-     {!Analysis.emitter}.
+     {!emitter}. They are all assigned a valid status by {!Analysis.emitter}.
   *)
   val generator : unit -> Visitor.frama_c_inplace
 
   (**
      Creates a visitor that can be used to remove all generated annotations from
-     {!generated} emitter. This will also remove their associated status.
+     {!emitter}. This will also remove their associated status.
   *)
   val cleaner : unit -> Visitor.frama_c_inplace
 end
diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index 3f84f2a1f856c822c2bbd5ee73e30b84fb5d9d25..4a99475717bda12410618b941a6b4419b4b73af5 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2024                                               *)
+(*  Copyright (C) 2007-2025                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/eva/utils/export.mli b/src/plugins/eva/utils/export.mli
index 574bf6e432965f7153cb2329a300ec2b82400da9..a4a148071e19e1be1272b4113de46c5914e2b025 100644
--- a/src/plugins/eva/utils/export.mli
+++ b/src/plugins/eva/utils/export.mli
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2024                                               *)
+(*  Copyright (C) 2007-2025                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -37,7 +37,7 @@ val export_value :
    instruction or the branching condition of the statement. Other kinds of
    statements, like loops, blocks and exceptions are not visited.
 
-   More precisely, for set and call instructions: the writen l-values from
+   More precisely, for set and call instructions: the written l-values from
    left-hand-side are not visited, but their inner l-values are visited; any
    l-value from the right-hand-side of the instruction is also visited.
 *)
@@ -50,14 +50,13 @@ val emitter : Emitter.t
 (**
    Creates a visitor that can be used to generate new annotations for all
    visited instructions. The generated assertions are associated with the local
-   {!generated} emitter. They are all assigned a valid status by
-   {!Analysis.emitter}.
+   {!emitter}. They are all assigned a valid status by {!Analysis.emitter}.
 *)
 val generator : unit -> Visitor.frama_c_inplace
 
 (**
    Creates a visitor that can be used to remove all generated annotations from
-   {!generated} emitter. This will also remove their associated status.
+   {!emitter}. This will also remove their associated status.
 *)
 val cleaner : unit -> Visitor.frama_c_inplace