diff --git a/src/misc/bareword.cc b/src/misc/bareword.cc
index 20df5d025..d154c04e0 100644
--- a/src/misc/bareword.cc
+++ b/src/misc/bareword.cc
@@ -1,7 +1,8 @@
-// Copyright (C) 2011 Laboratoire de Recherche et Développement
+// -*- coding: utf-8 -*-
+// Copyright (C) 2011, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -19,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "bareword.hh"
 #include <ctype.h>
 #include "escape.hh"
diff --git a/src/misc/bddop.cc b/src/misc/bddop.cc
index c864a4405..0fefa075d 100644
--- a/src/misc/bddop.cc
+++ b/src/misc/bddop.cc
@@ -1,4 +1,5 @@
-// Copyright (C) 2009 Laboratoire de Recherche et Développement
+// -*- coding: utf-8 -*-
+// Copyright (C) 2009, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -16,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cassert>
 #include "bddop.hh"
 
diff --git a/src/misc/escape.cc b/src/misc/escape.cc
index 0eb164072..1e90e298b 100644
--- a/src/misc/escape.cc
+++ b/src/misc/escape.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012 Laboratoire de Recherche et Developpement de
+// Copyright (C) 2012, 2013 Laboratoire de Recherche et Developpement de
 // l'Epita (LRDE)
 // Copyright (C) 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <sstream>
 #include <ostream>
 #include <algorithm>
diff --git a/src/misc/formater.cc b/src/misc/formater.cc
index 9851098c5..1806a6faf 100644
--- a/src/misc/formater.cc
+++ b/src/misc/formater.cc
@@ -17,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "formater.hh"
 #include <iostream>
 
diff --git a/src/misc/intvcmp2.cc b/src/misc/intvcmp2.cc
index 12c9f8905..b136599b7 100644
--- a/src/misc/intvcmp2.cc
+++ b/src/misc/intvcmp2.cc
@@ -1,5 +1,6 @@
-// Copyright (C) 2011 Laboratoire de Recherche et Developpement de
-// l'Epita (LRDE).
+// -*- coding: utf-8 -*-
+// Copyright (C) 2011, 2013 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -16,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cstddef>
 #include <cassert>
 #include "intvcmp2.hh"
diff --git a/src/misc/intvcomp.cc b/src/misc/intvcomp.cc
index dc4519996..f6d42ece9 100644
--- a/src/misc/intvcomp.cc
+++ b/src/misc/intvcomp.cc
@@ -1,5 +1,6 @@
-// Copyright (C) 2011 Laboratoire de Recherche et Developpement de
-// l'Epita (LRDE).
+// -*- coding: utf-8 -*-
+// Copyright (C) 2011, 2013 Laboratoire de Recherche et Développement
+// de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -16,6 +17,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cstddef>
 #include <cassert>
 #include "intvcomp.hh"
diff --git a/src/misc/memusage.cc b/src/misc/memusage.cc
index e2a221f88..4928569a9 100644
--- a/src/misc/memusage.cc
+++ b/src/misc/memusage.cc
@@ -1,4 +1,6 @@
 // -*- coding: utf-8 -*-
+// Copyright (C) 2013 Laboratoire de Recherche et Developpement de
+// l'Epita (LRDE).
 // Copyright (C) 2006  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -18,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "memusage.hh"
 #include <cstdio>
 
diff --git a/src/misc/minato.cc b/src/misc/minato.cc
index 07bc68b08..136216f90 100644
--- a/src/misc/minato.cc
+++ b/src/misc/minato.cc
@@ -1,8 +1,9 @@
-// Copyright (C) 2009 Laboratoire de Recherche et Développement
+// -*- coding: utf-8 -*-
+// Copyright (C) 2009, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris
-// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
-// Université Pierre et Marie Curie.
+// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
+// Université Pierre et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -19,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "minato.hh"
 #include <cassert>
 
diff --git a/src/misc/optionmap.cc b/src/misc/optionmap.cc
index cbacefb92..ebe543039 100644
--- a/src/misc/optionmap.cc
+++ b/src/misc/optionmap.cc
@@ -1,7 +1,8 @@
-// Copyright (C) 2008 Laboratoire de Recherche et Développement
+// -*- coding: utf-8 -*-
+// Copyright (C) 2008, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -19,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include <cstring>
 #include <iostream>
 #include <cstdlib>
diff --git a/src/misc/random.cc b/src/misc/random.cc
index c247465a2..49e8f6b67 100644
--- a/src/misc/random.cc
+++ b/src/misc/random.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement
+// Copyright (C) 2011, 2012, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
@@ -20,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "_config.h"
 #include "random.hh"
 #include <cstdlib>
diff --git a/src/misc/timer.cc b/src/misc/timer.cc
index c708ed81d..86e80c1c8 100644
--- a/src/misc/timer.cc
+++ b/src/misc/timer.cc
@@ -1,7 +1,8 @@
-// Copyright (C) 2009 Laboratoire de Recherche et Développement
+// -*- coding: utf-8 -*-
+// Copyright (C) 2009, 2013 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 // Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -19,6 +20,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+#include "config.h"
 #include "timer.hh"
 #include <iostream>
 #include <iomanip>
diff --git a/src/misc/version.cc b/src/misc/version.cc
index 839f70603..0a0124ff6 100644
--- a/src/misc/version.cc
+++ b/src/misc/version.cc
@@ -1,7 +1,8 @@
-// Copyright (C) 2011 Laboratoire de Recherche et Développement de
+// -*- coding: utf-8 -*-
+// Copyright (C) 2011, 2013 Laboratoire de Recherche et Développement de
 // l'Epita (LRDE).
 // Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-// département Systèmes Répartis Coopératifs (SRC), Université Pierre
+// département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
 // This file is part of Spot, a model checking library.
@@ -19,8 +20,9 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-#include "version.hh"
+#include "config.h"
 #include "_config.h"
+#include "version.hh"
 
 namespace spot
 {