diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index f8767c7b983c3c8bc718676593ac5b38eeb04ae7..77930d29becf4ade8e50058e0dd559ce3f8bf883 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1450,6 +1450,8 @@ src/plugins/value/legacy/function_args.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/legacy/function_args.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/results.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/results.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/auto_loop_unroll.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/auto_loop_unroll.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/partition.ml: CEA_LGPL_OR_PROPRIETARY
diff --git a/src/plugins/value/utils/results.mli b/src/plugins/value/utils/results.mli
index 50b1505f08d3355cce2a281462e3ec0348c588af..4364a77652721504de88ee83c3c8bbcfdd8e8bb7 100644
--- a/src/plugins/value/utils/results.mli
+++ b/src/plugins/value/utils/results.mli
@@ -1,6 +1,6 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This fil2e is part of Frama-C.                                         *)
+(*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
 (*  Copyright (C) 2007-2021                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
@@ -20,7 +20,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-
 (* Usage sketch :
 
    Eva.Results.(before stmt |> in_callstack cs |> eval_var vi |> as_int)