diff --git a/iface/dve2/dve2check.test b/iface/dve2/dve2check.test
index 50aabaf06..5b7744d5d 100755
--- a/iface/dve2/dve2check.test
+++ b/iface/dve2/dve2check.test
@@ -1,5 +1,5 @@
 #!/bin/sh
-# Copyright (C) 2011 Laboratoire de Recherche et Développement
+# Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement
 # de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -33,7 +33,6 @@ fi
 
 set -e
 
-
 for opt in '' '-z'; do
   # The three examples from the README.
   # (Don't run the first one using "run 0" because it would take too much
@@ -42,10 +41,10 @@ for opt in '' '-z'; do
   ../dve2check $opt -E $srcdir/beem-peterson.4.dve \
     '!GF(P_0.CS|P_1.CS|P_2.CS|P_3.CS)'
   run 0 ../dve2check $opt -e $srcdir/beem-peterson.4.dve \
-    '!G(P_0.wait -> F P_0.CS)' > stdout1
+    '!G(P_0.wait -> F P_0.CS)' | grep -v pages > stdout1
   # same formula, different syntax.
   run 0 ../dve2check $opt -e $srcdir/beem-peterson.4.dve \
-	    '!G("P_0 == wait" -> F "P_0 == CS")' > stdout2
+	    '!G("P_0 == wait" -> F "P_0 == CS")' | grep -v pages > stdout2
   cmp stdout1 stdout2
   run 0 ../dve2check $opt -e $srcdir/beem-peterson.4.dve '!G("pos[1] < 3")'
 done