diff --git a/ChangeLog b/ChangeLog
index 8e48788d1..8036d8b26 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-05-13  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltltest/reduc.test: Typo.
+
 	* src/ltlparse/ltlparse.yy (OP_POST_NEG, OP_POST_POS): New tokens.
 	(subformula): Recognize `ATOMIC_PROP OP_POST_POS' and
 	`ATOMIC_PROP OP_POST_NEG'.
diff --git a/src/ltltest/reduc.test b/src/ltltest/reduc.test
index 654565705..4f2eda9f9 100755
--- a/src/ltltest/reduc.test
+++ b/src/ltltest/reduc.test
@@ -49,4 +49,4 @@ perl -ne 'BEGIN { $sum1 = 0; $sum2 = 0; }
 $sum1 += $1;
 $sum2 += $2;
 END { print $sum2 * 100 / $sum1; print "\n"; }
-' < result.test
+' < result.data