diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index 07d8803e20ee9c66f9d9ec793c65fff595d7fa5a..6b758e9f692cb95fb04645c7dccb6a2494388245 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.ml
+++ b/src/plugins/e-acsl/src/code_generator/injector.ml
@@ -347,7 +347,9 @@ let add_new_block_in_stmt env kf stmt =
     "@[new stmt (from sid %d):@ %a@]" stmt.sid Printer.pp_stmt new_stmt;
   new_stmt, env
 
-(* [TODO ARCHI] not sure returning the stmt_kind is useful *)
+(* [TODO ARCHI] not sure returning the stmt_kind is useful;
+   actually probably useful for printf-like functions.
+   TO BE TESTED LATER *)
 (* visit the substmts and build the new skind *)
 let rec inject_in_substmt env kf stmt = match stmt.skind with
   | Instr instr ->