diff --git a/collects/typed-scheme/private/base-env-indexing-abs.rkt b/collects/typed-scheme/private/base-env-indexing-abs.rkt
index c99ba38f..48150e6d 100644
--- a/collects/typed-scheme/private/base-env-indexing-abs.rkt
+++ b/collects/typed-scheme/private/base-env-indexing-abs.rkt
@@ -173,9 +173,9 @@
    [random (cl-> [(index-type) -Nat] [() -Real])]
    
    [raise-type-error
-    (cl->
-     [(Sym -String Univ) (Un)]
-     [(Sym -String index-type (-lst Univ)) (Un)])]
+    (cl->*
+     [-> Sym -String Univ (Un)]
+     [->* (list Sym -String index-type) Univ (Un)])]
    
    ))