diff --git a/collects/tests/typed-scheme/succeed/racunit.ss b/collects/tests/typed-scheme/succeed/racunit.ss
index 619b0f6b..568e14d2 100644
--- a/collects/tests/typed-scheme/succeed/racunit.ss
+++ b/collects/tests/typed-scheme/succeed/racunit.ss
@@ -10,7 +10,7 @@
 
 (: my-* : Integer Integer -> Integer)
 (define (my-* a b)
-  (if (zero? a)
+  (if (= a 1)
       b
       (my-* (sub1 a) (my-+ b b))))
 
diff --git a/collects/typed/racunit/main.rkt b/collects/typed/racunit/main.rkt
index 619f400a..93b1752b 100644
--- a/collects/typed/racunit/main.rkt
+++ b/collects/typed/racunit/main.rkt
@@ -5,8 +5,8 @@
   (case-lambda
     (Any Any -> Void)
     (Any Any String -> Void)))
-(define-type (Predicate A) (Any -> Boolean))
-(define-type (Thunk A) (-> Any))
+(define-type (Predicate A) (A -> Boolean))
+(define-type (Thunk A) (-> A))
 
 ; 3.2
 (require/typed/provide
@@ -43,15 +43,13 @@
     (Any -> #t)
     (Any String -> #t))]
  [check-exn
-  (All (A B)
-       (case-lambda 
-         ((Predicate A) (Thunk B) -> #t)
-         ((Predicate A) (Thunk B) String -> #t)))]
+  (case-lambda 
+    ((Predicate Any) (Thunk Any) -> #t)
+    ((Predicate Any) (Thunk Any) String -> #t))]
  [check-not-exn
-  (All (A)
-       (case-lambda
-         ((Thunk A) -> #t)
-         ((Thunk A) String -> #t)))]
+  (case-lambda
+    ((Thunk Any) -> #t)
+    ((Thunk Any) String -> #t))]
  [fail
   (case-lambda
     (-> #t)