diff --git a/collects/profj/check.ss b/collects/profj/check.ss
index 696b6431dd..5987075776 100644
--- a/collects/profj/check.ss
+++ b/collects/profj/check.ss
@@ -2938,7 +2938,7 @@
                             [curr (check-e e env)])
                        (cons (type/env-e curr)
                              (cons (type/env-t curr) (cdr acc)))))
-                   (list (type/env-e actual-t))
+                   (list (type/env-e actual-te))
                    expt-range)
             #;(check-e expt-range (type/env-e actual-te))]
            [er-ts (cdr expt-range-te)]
diff --git a/collects/profj/to-scheme.ss b/collects/profj/to-scheme.ss
index 609eb222ba..bf1232c8be 100644
--- a/collects/profj/to-scheme.ss
+++ b/collects/profj/to-scheme.ss
@@ -3086,7 +3086,7 @@
           [r (map translate-expression range)]
           [extracted-info (checked-info test)])
       (make-syntax #f
-                   `(javaRuntime:compare-rand ,t ,r ,extracted-info (quote ,(src->list src))
+                   `(javaRuntime:compare-rand ,t (list ,@r) ,extracted-info (quote ,(src->list src))
                                               (namespace-variable-value 'current~test~object% #f
                                                                         (lambda () #f))
                                               )