diff --git a/src/tgba/bddprint.cc b/src/tgba/bddprint.cc
index b02069188..6eb68b7f1 100644
--- a/src/tgba/bddprint.cc
+++ b/src/tgba/bddprint.cc
@@ -6,7 +6,7 @@ namespace spot
 {
   /// Global dictionary used by print_handler() to lookup variables.
   static const tgba_bdd_dict* dict;
-  
+
   /// Global flag to enable Prom[x] output (instead of `x').
   static bool want_prom;
 
@@ -24,7 +24,7 @@ namespace spot
 	if (isi != dict->prom_formula_map.end())
 	  {
 	    if (want_prom)
-	      o << "Prom["; 
+	      o << "Prom[";
 	    to_string(isi->second, o);
 	    if (want_prom)
 	      o << "]";
diff --git a/src/tgba/dictunion.cc b/src/tgba/dictunion.cc
index 302c8a98b..3a9f31cc8 100644
--- a/src/tgba/dictunion.cc
+++ b/src/tgba/dictunion.cc
@@ -52,21 +52,21 @@ namespace spot
     std::set<const ltl::formula*>::const_iterator f;
     for (f = prom.begin(); f != prom.end(); ++f)
       {
-        res.prom_map[*f] = v;
-        res.prom_formula_map[v] = *f;
-        ++v;
+	res.prom_map[*f] = v;
+	res.prom_formula_map[v] = *f;
+	++v;
       }
     for (f = var.begin(); f != var.end(); ++f)
       {
-        res.var_map[*f] = v;
-        res.var_formula_map[v] = *f;
-        ++v;
+	res.var_map[*f] = v;
+	res.var_formula_map[v] = *f;
+	++v;
       }
     for (f = now.begin(); f != now.end(); ++f)
       {
-        res.now_map[*f] = v;
-        res.now_formula_map[v] = *f;
-        v += 2;
+	res.now_map[*f] = v;
+	res.now_formula_map[v] = *f;
+	v += 2;
       }
 
     assert (v == want);
diff --git a/src/tgbaalgos/Makefile.am b/src/tgbaalgos/Makefile.am
index d897a3847..72a219153 100644
--- a/src/tgbaalgos/Makefile.am
+++ b/src/tgbaalgos/Makefile.am
@@ -7,4 +7,3 @@ libtgbaalgos_la_SOURCES = \
   dotty.hh \
   save.cc \
   save.hh
-