diff --git a/collects/tests/typed-scheme/succeed/inst-dots.ss b/collects/tests/typed-scheme/succeed/inst-dots.ss
index 9e3f138b..51bf3223 100644
--- a/collects/tests/typed-scheme/succeed/inst-dots.ss
+++ b/collects/tests/typed-scheme/succeed/inst-dots.ss
@@ -2,6 +2,6 @@
 
 (require typed-scheme/private/extra-procs)
 
-((inst map* Number Number Number Number Number Number Number) 
+((inst map Number Number Number Number Number Number Number) 
  + 
  (list 1 2 3) (list 2 3 4) (list 1 2 3) (list 2 3 4) (list 1 2 3) (list 2 3 4))