diff --git a/ChangeLog b/ChangeLog
index e2ae68f99..fa13ac98b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2005-05-16  Denis Poitrenaud  <dp@src.lip6.fr>
+
+	* src/ltlvisit/syntimpl.cc: Fix a typo.
+
 2005-05-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/ltlvisit/syntimpl.cc: Fix detection of purely eventual formulae.
diff --git a/src/ltlvisit/syntimpl.cc b/src/ltlvisit/syntimpl.cc
index 533b05883..eafc98845 100644
--- a/src/ltlvisit/syntimpl.cc
+++ b/src/ltlvisit/syntimpl.cc
@@ -102,7 +102,7 @@ namespace spot
 	      eventual = recurse_ev(f1) && recurse_ev(f2);
 	      return;
 	    case binop::U:
-	      universal = recurse_un(f1) & recurse_un(f2);
+	      universal = recurse_un(f1) && recurse_un(f2);
 	      if ((f1 == constant::true_instance())
 		  // Both operand must be purely eventual, unlike in
 		  // the proceedings of Concur'00.  (The revision of