diff --git a/src/plugins/e-acsl/fixpoint.ml b/src/plugins/e-acsl/fixpoint.ml
index 6af95b408cfc75fd7ee6cf3a39995d2144a452fd..4adb15d3ded5d6aef7ab61b48fe1290076275b82 100644
--- a/src/plugins/e-acsl/fixpoint.ml
+++ b/src/plugins/e-acsl/fixpoint.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -210,4 +210,4 @@ let solve ieqs ivar chain_of_ivalmax =
   let post_fixpoint =
     iterate_till_post_fixpoint ieqs bottom chain_of_ivalmax
   in
-  get_ival_of_iconst ivar post_fixpoint
\ No newline at end of file
+  get_ival_of_iconst ivar post_fixpoint
diff --git a/src/plugins/e-acsl/fixpoint.mli b/src/plugins/e-acsl/fixpoint.mli
index ac2f146e7e19507e2bdbbd28e29649fc3faf5f31..4354d67674fb35e2057f61314d7a595e4d5a8716 100644
--- a/src/plugins/e-acsl/fixpoint.mli
+++ b/src/plugins/e-acsl/fixpoint.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -75,4 +75,4 @@ val solve: Ieqs.t -> ival_exp -> Integer.t array -> Ival.t
 
 val ivars_contains_ivar: ival_exp list -> ival_exp -> bool
 (** [contains ivars ivar] checks whether the list of Ivar [ivars] contains the
-  Ivar [ivar]. *)
\ No newline at end of file
+  Ivar [ivar]. *)
diff --git a/src/plugins/e-acsl/lfunctions.ml b/src/plugins/e-acsl/lfunctions.ml
index 1b549ddc5009943834909c3e2702f0efa20602a4..c5f9d07bf287f9558e6888e25e779d452228e3b2 100644
--- a/src/plugins/e-acsl/lfunctions.ml
+++ b/src/plugins/e-acsl/lfunctions.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -502,4 +502,4 @@ let lfunctions_visitor = object (self)
         file)
 end
 
-let do_visit f = Visitor.visitFramacFile lfunctions_visitor f
\ No newline at end of file
+let do_visit f = Visitor.visitFramacFile lfunctions_visitor f
diff --git a/src/plugins/e-acsl/lfunctions.mli b/src/plugins/e-acsl/lfunctions.mli
index ca4c8ead2ae49b1cff2e874671d57143a4f1e599..50f7b7cdd9f7c6a6388ed871722f16e170afb8a0 100644
--- a/src/plugins/e-acsl/lfunctions.mli
+++ b/src/plugins/e-acsl/lfunctions.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
@@ -53,4 +53,4 @@ val term_to_exp_ref:
   (kernel_function -> Env.t -> term -> exp * Env.t) ref
 
 val add_cast_ref:
-  (location -> Env.t -> typ option -> bool -> exp -> exp * Env.t) ref
\ No newline at end of file
+  (location -> Env.t -> typ option -> bool -> exp -> exp * Env.t) ref