diff --git a/tests/core/parity.test b/tests/core/parity.test
index 226022240..be220e723 100755
--- a/tests/core/parity.test
+++ b/tests/core/parity.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2016 Laboratoire de Recherche et Développement
+# Copyright (C) 2016, 2017 Laboratoire de Recherche et Développement
 # de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -21,5 +21,5 @@
 
 . ./defs
 set -e
-
-run 0 ../parity
+# Do not run through valgrind, this takes too long.
+../parity
diff --git a/tests/python/toweak.py b/tests/python/toweak.py
index b21827a83..537aabeec 100644
--- a/tests/python/toweak.py
+++ b/tests/python/toweak.py
@@ -21,7 +21,6 @@ import spot
 
 phi1 = """GFb
 X(!b | GF!a)
-!a U X(b | GF!b)
 GFa
 G(a M b)
 (!a | b) & GFb