diff --git a/src/plugins/dive/headers/header_spec.txt b/src/plugins/dive/headers/header_spec.txt
index 492871b28749e6d1c61674c7ae161becf0903e07..b6d32434c6e07e646771c1f131566690e51a77be 100644
--- a/src/plugins/dive/headers/header_spec.txt
+++ b/src/plugins/dive/headers/header_spec.txt
@@ -10,5 +10,8 @@ imprecision_graph.mli: LGPL.Dive
 main.ml: LGPL.Dive
 Makefile.in: LGPL.Dive
 node_kind.ml: LGPL.Dive
+node_kind.mli: LGPL.Dive
 self.ml: LGPL.Dive
 self.mli: LGPL.Dive
+server_interface.ml: LGPL.Dive
+server_interface.mli: LGPL.Dive
diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index d1d8dfd9d22c1aeb56fc2e06c5c5e1795e6455d6..f286dd01c1666c6aa34d9614335382e9bdf5280f 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of the Frama-C plug-in `Dive'.                      *)
 (*                                                                        *)
-(*  Copyright (C) 2018                                                    *)
+(*  Copyright (C) 2007-2019                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/dive/server_interface.mli b/src/plugins/dive/server_interface.mli
index 77495598c83d67066115ad227517a0865e17396a..9f06f99fa21a09de66786a1ee47369fd3f1f056c 100644
--- a/src/plugins/dive/server_interface.mli
+++ b/src/plugins/dive/server_interface.mli
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of the Frama-C plug-in `Dive'.                      *)
 (*                                                                        *)
-(*  Copyright (C) 2018                                                    *)
+(*  Copyright (C) 2007-2019                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)