diff --git a/collects/typed-scheme/types/convenience.rkt b/collects/typed-scheme/types/convenience.rkt
index fec680dd90..b660efd1b7 100644
--- a/collects/typed-scheme/types/convenience.rkt
+++ b/collects/typed-scheme/types/convenience.rkt
@@ -56,7 +56,7 @@
                (exit t)))]
         [(ListDots: t bound) (-lst (substitute Univ bound t))]
         [(? (lambda (t) (subtype t -Symbol))) -Symbol]
-        [(or (Value: #f) (Value: #t)) -Boolean]
+        [(Value: #t) -Boolean]
         [_ (exit t)]))))