diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 30b886b70ca889fa828c439556e5249abbf532e2..a5f4c33a749f824f5b1bf7dbe467eff8eea8cd36 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -322,7 +322,7 @@ e-acsl-distrib-check:
 ##########
 
 EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac share/e-acsl/*.[ch] \
-  share/e-acsl/*/*.[ch] scripts/*.sh
+  share/e-acsl/*/*.[ch] scripts/*.sh tests/print.ml man/e-acsl-gcc.sh.1
 EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE))
 
 EACSL_SPARETIMELABS=$(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h
diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index c7328e163a18a2e55ac9ee2be62c12ecef0fe30f..73cee4d1dbd15f7c0762f442efc94d0cc7da52f6 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -1,24 +1,24 @@
-.\"
-.\"
-.\"  This file is part of Frama-C.
-.\"
-.\"  Copyright (C) 2007-2015
-.\"    CEA (Commissariat à l'énergie atomique et aux énergies
-.\"         alternatives)
-.\"
-.\"  you can redistribute it and/or modify it under the terms of the GNU
-.\"  Lesser General Public License as published by the Free Software
-.\"  Foundation, version 2.1.
-.\"
-.\"  It is distributed in the hope that it will be useful,
-.\"  but WITHOUT ANY WARRANTY; without even the implied warranty of
-.\"  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-.\"  GNU Lesser General Public License for more details.
-.\"
-.\"  See the GNU Lesser General Public License version 2.1
-.\"  for more details (enclosed in the file licenses/LGPLv2.1).
-.\"
-.\"
+.\"                                                                        
+.\"                                                                        
+.\"  This file is part of Frama-C.                                         
+.\"                                                                        
+.\"  Copyright (C) 2007-2017                                               
+.\"    CEA (Commissariat à l'énergie atomique et aux énergies              
+.\"         alternatives)                                                  
+.\"                                                                        
+.\"  you can redistribute it and/or modify it under the terms of the GNU   
+.\"  Lesser General Public License as published by the Free Software       
+.\"  Foundation, version 2.1.                                              
+.\"                                                                        
+.\"  It is distributed in the hope that it will be useful,                 
+.\"  but WITHOUT ANY WARRANTY; without even the implied warranty of        
+.\"  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         
+.\"  GNU Lesser General Public License for more details.                   
+.\"                                                                        
+.\"  See the GNU Lesser General Public License version 2.1                 
+.\"  for more details (enclosed in the file licenses/LGPLv2.1).            
+.\"                                                                        
+.\"                                                                        
 
 .TH E-ACSL-GCC.SH 1 2016-02-02
 
diff --git a/src/plugins/e-acsl/tests/print.ml b/src/plugins/e-acsl/tests/print.ml
index 1d084da5be994e1816fa9b02a9b0222a3f2f83c2..83a43d45ca4ab8c8e62ae61db0e932b1fb72839a 100644
--- a/src/plugins/e-acsl/tests/print.ml
+++ b/src/plugins/e-acsl/tests/print.ml
@@ -1,3 +1,25 @@
+(**************************************************************************)
+(*                                                                        *)
+(*  This file is part of Frama-C.                                         *)
+(*                                                                        *)
+(*  Copyright (C) 2007-2017                                               *)
+(*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
+(*         alternatives)                                                  *)
+(*                                                                        *)
+(*  you can redistribute it and/or modify it under the terms of the GNU   *)
+(*  Lesser General Public License as published by the Free Software       *)
+(*  Foundation, version 2.1.                                              *)
+(*                                                                        *)
+(*  It is distributed in the hope that it will be useful,                 *)
+(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
+(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *)
+(*  GNU Lesser General Public License for more details.                   *)
+(*                                                                        *)
+(*  See the GNU Lesser General Public License version 2.1                 *)
+(*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
+(*                                                                        *)
+(**************************************************************************)
+
 module Printer_extension(X:Printer.PrinterClass) = struct
 
   class printer = object