diff --git a/ChangeLog b/ChangeLog
index 85e14322d..3e90d87c6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/ltlvisit/basicreduce.cc: Typo in comment.
+
 2010-04-08  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS: Summarize recent noteworthy changes.
diff --git a/src/ltlvisit/basicreduce.cc b/src/ltlvisit/basicreduce.cc
index 2c6f4294a..54d4b73c6 100644
--- a/src/ltlvisit/basicreduce.cc
+++ b/src/ltlvisit/basicreduce.cc
@@ -356,7 +356,7 @@ namespace spot
 			}
 		      else if (uo->op() == unop::G)
 			{
-			  // G(a) | G(b) = G(a | b)
+			  // G(a) & G(b) = G(a & b)
 			  tmpG->push_back(uo->child()->clone());
 			}
 		      else