diff --git a/src/tgbaalgos/cutscc.cc b/src/tgbaalgos/cutscc.cc
index 95cc02df8..89c6fae87 100644
--- a/src/tgbaalgos/cutscc.cc
+++ b/src/tgbaalgos/cutscc.cc
@@ -20,6 +20,7 @@
 #include <iostream>
 #include <string>
 #include <queue>
+#include <algorithm>
 #include "tgba/tgbaexplicit.hh"
 #include "cutscc.hh"
 
diff --git a/src/tgbaalgos/ltl2taa.cc b/src/tgbaalgos/ltl2taa.cc
index bbe806681..a07eba63a 100644
--- a/src/tgbaalgos/ltl2taa.cc
+++ b/src/tgbaalgos/ltl2taa.cc
@@ -1,4 +1,5 @@
-// Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et
+// -*- coding: utf-8 -*-
+// Copyright (C) 2009, 2010, 2012, 2013 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -17,6 +18,7 @@
 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 #include <utility>
+#include <algorithm>
 #include "ltlast/visitor.hh"
 #include "ltlast/allnodes.hh"
 #include "ltlvisit/lunabbrev.hh"