diff --git a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt
index 4a88d01d5b..0900095ac4 100644
--- a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt
+++ b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark.rkt
@@ -11,4 +11,5 @@
          run-gen-and-check/mods
          bmark-log-directory
          benchmark-logging-to
-         bmark-log)
\ No newline at end of file
+         bmark-log
+         (struct-out run-results))
\ No newline at end of file
diff --git a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt
index b7d3131d05..3d60a52832 100644
--- a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt
+++ b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/private/gen-run.rkt
@@ -14,18 +14,18 @@
 
 (provide/contract 
  [run-gen-and-check/mods
-  (-> module-path?
-      module-path?
-      natural-number/c
-      #:name string?
-      run-results?)]
+  (->* (module-path?
+        module-path?
+        natural-number/c)
+       (#:name string?)
+       run-results?)]
  [run-gen-and-check
-  (-> (-> (-> any/c))
-      (-> any/c boolean?)
-      natural-number/c
-      #:name string?
-      #:type symbol?
-      run-results?)])
+  (->* ((-> (-> any/c))
+        (-> any/c boolean?)
+        natural-number/c)
+       (#:name string?
+        #:type symbol?)
+       run-results?)])
 
 (define (run-gen-and-check/mods gen-mod-path check-mod-path seconds #:name [name "unknown"])
   (define get-gen (dynamic-require gen-mod-path 'get-generator))