diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss
index 6173f66b..7ef4ad21 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 63ad19a5..1e450452 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