diff --git a/dune b/dune
index f576681e0..37f6e8b6c 100644
--- a/dune
+++ b/dune
@@ -94,6 +94,6 @@
     (write-file hoped "")
     (write-file failed-runs "")
     (run cmd /q /c
-     "for %G in (1,2,3,4, 5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20) do (echo Starting %G-th run && focusedtest.exe -v || echo %G >> failed-runs)")
+     "for %G in (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20) do (echo Starting %G-th run && focusedtest.exe -v || echo %G >> failed-runs)")
     ; edit the previous line to focus on a particular seed
     (diff failed-runs hoped)))))
diff --git a/src/weak/stm_tests_hashset.ml b/src/weak/stm_tests_hashset.ml
index 50aa536cc..759cb8343 100644
--- a/src/weak/stm_tests_hashset.ml
+++ b/src/weak/stm_tests_hashset.ml
@@ -185,5 +185,5 @@ let status_seq =
 let () = Gc.full_major ()
 let status_par =
   run_tests
-    [ WeakHashsetSTM_dom.neg_agree_test_par ~count:2000 ~name:"STM Weak HashSet test parallel" ]
+    [ WeakHashsetSTM_dom.neg_agree_test_par ~count:5000 ~name:"STM Weak HashSet test parallel" ]
 let _ = exit (if status_seq=0 && status_par=0 then 0 else 1)