diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index b14b2833..48521f35 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -16,33 +16,33 @@
   (name sidekick-smt-quick)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs $cur_dir/sat $cur_dir/unsat $cur_dir/pigeon))))
+      (dirs ($cur_dir/sat $cur_dir/unsat $cur_dir/pigeon)))))
 
 (task
   (name sidekick-smt-local)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs $cur_dir/))))
+      (dirs ($cur_dir/)))))
 
 (task
   (name sidekick-smt-nodir)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs))))
+      (dirs ()))))
 
 (task
   (name sidekick-smt-all)
   (action
     (run_provers
-      (provers sidekick-dev z3)
+      (provers (sidekick-dev z3))
       (timeout 10)
-      (dirs $HOME/workspace/smtlib))))
+      (dirs ($HOME/workspace/smtlib)))))
 
 (set-options (progress true))