diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/value/utils/eva_annotations.ml
index e17f1d03ffd4006f53ee6a704fa8748efa115c6a..4d019227478173c5b065bb8e790352995077892b 100644
--- a/src/plugins/value/utils/eva_annotations.ml
+++ b/src/plugins/value/utils/eva_annotations.ml
@@ -99,7 +99,7 @@ struct
 
   let add ~emitter ~loc stmt annot =
     let param = M.export annot in
-    let extension = Logic_const.new_acsl_extension "slevel" loc false param in
+    let extension = Logic_const.new_acsl_extension name loc false param in
     let annot_node = Cil_types.AExtended ([], false, extension) in
     let code_annotation = Logic_const.new_code_annotation annot_node in
     Annotations.add_code_annot emitter stmt code_annotation