diff --git a/src/tgbaalgos/weight.hh b/src/tgbaalgos/weight.hh
index 9aa327a12..8fae5d881 100644
--- a/src/tgbaalgos/weight.hh
+++ b/src/tgbaalgos/weight.hh
@@ -1,5 +1,8 @@
+// -*- coding: utf-8 -*-
+// Copyright (C) 2015 Laboratoire de Recherche et Développement de
+// l'Epita (LRDE).
 // Copyright (C) 2004, 2014  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.
@@ -49,8 +52,7 @@ namespace spot
 				    const weight& w);
 
   private:
-    typedef std::vector<int> weight_vector;
-    weight_vector m;
+    std::vector<int> m;
   };
 };