diff --git a/ChangeLog b/ChangeLog
index dbf91730f..4b4b7c2a7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-10-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* iface/dve2/finite.test: Swap -e and -E after change from 2011-07-26.
+
 2011-10-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* NEWS: Update with recent fixes.
diff --git a/iface/dve2/finite.test b/iface/dve2/finite.test
index 4b19078be..b5f64ce3d 100755
--- a/iface/dve2/finite.test
+++ b/iface/dve2/finite.test
@@ -48,8 +48,8 @@ run 0 ../dve2check -z -dfalse -gm $srcdir/finite.dve '"P.a < 10"' > stdout
 test "`grep ' -> ' stdout | wc -l`" = 19
 test "`grep 'P.a=' stdout | wc -l`" = 15
 
-run 0 ../dve2check -ddead -e $srcdir/finite.dve \
+run 0 ../dve2check -ddead -E $srcdir/finite.dve \
   '!(G(dead -> ("P.a==3" | "P.b==3")))'
 
-run 0 ../dve2check -ddead -E $srcdir/finite.dve \
+run 0 ../dve2check -ddead -e $srcdir/finite.dve \
   '!(G(dead -> ("P.a==2" | "P.b==3")))'