diff --git a/src/ltlast/bunop.hh b/src/ltlast/bunop.hh
index d3f1a74e6..968f03956 100644
--- a/src/ltlast/bunop.hh
+++ b/src/ltlast/bunop.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2010 Laboratoire de Recherche et Développement
+// Copyright (C) 2010, 2011 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -54,11 +54,11 @@ namespace spot
       ///   - 0[=0..max] = 1[*]
       ///   - 0[=min..max] = 0 if min > 0
       ///   - 1[=0] = [*0]
-      ///   - 1[=min..max] = 1[*min..max] if max > 0
+      ///   - 1[=min..max] = 1[*min..max]
       ///   - Exp[=0..] = [*]
       ///   - Exp[=0] = (!Exp)[*]
-      ///   - 0[->min..max] = 0 if min>0
       ///   - 0[->0..max] = [*0]
+      ///   - 0[->min..max] = 0 if min>0
       ///   - 1[->0] = [*0]
       ///   - 1[->min..max] = 1[*min..max]
       ///   - Exp[->0] = [*0]
diff --git a/src/ltlast/multop.hh b/src/ltlast/multop.hh
index b56dc7ffc..bea72d54e 100644
--- a/src/ltlast/multop.hh
+++ b/src/ltlast/multop.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2009, 2010 Laboratoire de Recherche et D�veloppement
+// Copyright (C) 2009, 2010, 2011 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),
@@ -92,8 +92,8 @@ namespace spot
       /// - Or(Exps1...,1,Exps2...) = 1
       /// - Or(Exps1...,0,Exps2...) = And(Exps1...,Exps2...)
       /// - Or(Exp) = Exp
-      /// - Concat(Exps1...,[*0],Exps2...) = Concat(Exps1...,Exps2...)
       /// - Concat(Exps1...,0,Exps2...) = 0
+      /// - Concat(Exps1...,[*0],Exps2...) = Concat(Exps1...,Exps2...)
       /// - Concat(Exp) = Exp
       /// - Fusion(Exps1...,1,Exps2...) = Concat(Exps1...,Exps2...)
       /// - Fusion(Exps1...,0,Exps2...) = 0