diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss
index 6173f66b78..7ef4ad217c 100644
--- a/collects/tests/typed-scheme/fail/infer-dots.ss
+++ b/collects/tests/typed-scheme/fail/infer-dots.ss
@@ -2,7 +2,7 @@
 
 (require typed-scheme/private/extra-procs)
 
-#;(map* + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
+(map* + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
 
 ;; Arity mismatch.
 (: g (Integer Integer Integer -> Integer))
@@ -10,9 +10,7 @@
 
 (map* g (list 1 2 3) (list 4 5 6))
 
-;; Can't use a starred function with more fixed args
-;; for a dotted function.
 (: h (Integer Integer Integer * -> Integer))
 (define (h x y . z) 0)
 
-(map* h (list 1 2 3) (list 4 5 6))
+(map* h (list 1 2 3))
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/succeed/infer-dots.ss b/collects/tests/typed-scheme/succeed/infer-dots.ss
index 63ad19a5e1..1e450452b5 100644
--- a/collects/tests/typed-scheme/succeed/infer-dots.ss
+++ b/collects/tests/typed-scheme/succeed/infer-dots.ss
@@ -7,4 +7,11 @@
 
 (map* f (list 1 2 3) (list 10 20 30))
 
-#;(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30))
\ No newline at end of file
+(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30))
+
+(map* + (list 1 2 3) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30) (list 10 20 30))
+
+(: h (Integer Integer Integer * -> Integer))
+(define (h x y . z) 0)
+
+(map* h (list 1 2 3) (list 4 5 6))
\ No newline at end of file