diff --git a/ChangeLog b/ChangeLog
index e67be07c4..eec8f555a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-01-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/evtgbatest/ltl2evtgba.test: Replace * by &.
+
 2010-01-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Make it possible to use the cgi script without installing a web
diff --git a/src/evtgbatest/ltl2evtgba.test b/src/evtgbatest/ltl2evtgba.test
index a1f3a7fb4..b03ddaccf 100755
--- a/src/evtgbatest/ltl2evtgba.test
+++ b/src/evtgbatest/ltl2evtgba.test
@@ -1,5 +1,5 @@
 #!/bin/sh
-# Copyright (C) 2009 Laboratoire de Recherche et Développement
+# Copyright (C) 2009, 2010 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), Université Pierre
@@ -48,4 +48,4 @@ check 'Fc & X(a | Xb) & GF(a | Xb) & Gc'
 check 'a R (b R c)'
 check '(a U b) U (c U d)'
 
-check '((Xp2)U(X(1)))*(p1 R(p2 R p0))'
+check '((Xp2)U(X(1)))&(p1 R(p2 R p0))'