diff --git a/src/ta/Makefile.am b/src/ta/Makefile.am
index f7e42ec92..a6a5cc08f 100644
--- a/src/ta/Makefile.am
+++ b/src/ta/Makefile.am
@@ -1,4 +1,5 @@
-## Copyright (C) 2010 Laboratoire de Recherche et Développement
+## -*- coding: utf-8 -*-
+## Copyright (C) 2010, 2012 Laboratoire de Recherche et DĂ©veloppement
 ## de l'Epita (LRDE).
 ##
 ## This file is part of Spot, a model checking library.
@@ -18,7 +19,7 @@
 ## Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 ## 02111-1307, USA.
 
-AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS)
+AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS)
 AM_CXXFLAGS = $(WARNING_CXXFLAGS)
 
 tadir = $(pkgincludedir)/ta
@@ -31,8 +32,8 @@ ta_HEADERS = \
   tgtaexplicit.hh \
   tgtaproduct.hh
 
-  noinst_LTLIBRARIES = libta.la
-  libta_la_SOURCES = \
+noinst_LTLIBRARIES = libta.la
+libta_la_SOURCES = \
   ta.cc \
   taproduct.cc \
   tgta.cc \
diff --git a/src/taalgos/Makefile.am b/src/taalgos/Makefile.am
index 0f2a7345f..d28701809 100644
--- a/src/taalgos/Makefile.am
+++ b/src/taalgos/Makefile.am
@@ -1,4 +1,5 @@
-## Copyright (C) 2010 Laboratoire de Recherche et Développement
+## -*- coding: utf-8 -*-
+## Copyright (C) 2010, 2012 Laboratoire de Recherche et DĂ©veloppement
 ## de l'Epita (LRDE).
 ##
 ## This file is part of Spot, a model checking library.et Marie Curie.
@@ -19,27 +20,26 @@
 ## 02111-1307, USA.
 
 
-AM_CPPFLAGS = -I$(srcdir)/.. $(BUDDY_CPPFLAGS)
+AM_CPPFLAGS = -I$(srcdir)/.. -I.. $(BUDDY_CPPFLAGS)
 AM_CXXFLAGS = $(WARNING_CXXFLAGS)
 
 taalgosdir = $(pkgincludedir)/taalgos
 
 taalgos_HEADERS = \
-	tgba2ta.hh \
-	dotty.hh \
-	reachiter.hh \
-	stats.hh \
-	statessetbuilder.hh \
-	minimize.hh \
-  	emptinessta.hh
+  tgba2ta.hh \
+  dotty.hh \
+  reachiter.hh \
+  stats.hh \
+  statessetbuilder.hh \
+  minimize.hh \
+  emptinessta.hh
 
 noinst_LTLIBRARIES = libtaalgos.la
 libtaalgos_la_SOURCES = \
-	tgba2ta.cc \
-	dotty.cc \
-	reachiter.cc \
-  	stats.cc \
-  	statessetbuilder.cc \
-  	minimize.cc \
-  	emptinessta.cc
-
+  tgba2ta.cc \
+  dotty.cc \
+  reachiter.cc \
+  stats.cc \
+  statessetbuilder.cc \
+  minimize.cc \
+  emptinessta.cc