diff --git a/collects/typed-scheme/types/convenience.rkt b/collects/typed-scheme/types/convenience.rkt
index 75435d449f..fc79452296 100644
--- a/collects/typed-scheme/types/convenience.rkt
+++ b/collects/typed-scheme/types/convenience.rkt
@@ -43,16 +43,15 @@
         [_ (exit t)]))))
 
 
-;; DO NOT USE if t contains #f
 (define (-opt t) (Un (-val #f) t))
 
 (define In-Syntax
   (-mu e
-       (*Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number 
-            (make-Vector (-Syntax e))
-            (make-Box (-Syntax e))
-            (-lst (-Syntax e))
-            (-pair (-Syntax e) (-Syntax e)))))
+       (Un (-val null) -Boolean -Symbol -String -Keyword -Char -Number 
+           (make-Vector (-Syntax e))
+           (make-Box (-Syntax e))
+           (-lst (-Syntax e))
+           (-pair (-Syntax e) (-Syntax e)))))
 
 (define Any-Syntax (-Syntax In-Syntax))