diff --git a/src/plugins/wp/Stats.ml b/src/plugins/wp/Stats.ml
index 3b0357f287af00bdba8c8cdf89669702ef5b88f7..662b145ba0b734d61780820c951675c7db590c91 100644
--- a/src/plugins/wp/Stats.ml
+++ b/src/plugins/wp/Stats.ml
@@ -108,12 +108,11 @@ let consolidated = function
           results in
     r.verdict,
     (if cached then 1 else 0),
-    if p = Qed then
-      [Qed,pqed r]
+    if p = Qed then [Qed,pqed r]
     else
-      pmerge
-        [Qed,psolver r]
-        (if VCS.is_valid r then [p,presult r] else [])
+    if VCS.is_valid r
+    then pmerge [Qed,psolver r] [p,presult r]
+    else []
 
 let results prs =
   let verdict, cached, provers = consolidated prs in