diff --git a/ChangeLog b/ChangeLog
index 92a9c6dc9..348c09ea6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-02-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltlparse/ltlparse.yy: Typo.
+
 	* wrap/python/cgi/ltl2tgba.in: Use render_dot when
 	showing formula.
 	* wrap/python/cgi/README: Mention unique_id.
diff --git a/src/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy
index 1b12ab337..3f0966baf 100644
--- a/src/ltlparse/ltlparse.yy
+++ b/src/ltlparse/ltlparse.yy
@@ -74,7 +74,7 @@ using namespace spot::ltl;
 /* All tokens.  */
 
 %token <token> PAR_OPEN "opening parenthesis" PAR_CLOSE "closing parenthesis"
-%token <token> OP_OR "or operator" OP_XOR "xor operator" OP_AND "and operation"
+%token <token> OP_OR "or operator" OP_XOR "xor operator" OP_AND "and operator"
 %token <token> OP_IMPLIES "implication operator" OP_EQUIV "equivalent operator"
 %token <token> OP_U "until operator" OP_R "release operator"
 %token <token> OP_F "sometimes operator" OP_G "always operator"