diff --git a/collects/typed-scheme/types/printer.rkt b/collects/typed-scheme/types/printer.rkt
index 15043f5548..ba99133337 100644
--- a/collects/typed-scheme/types/printer.rkt
+++ b/collects/typed-scheme/types/printer.rkt
@@ -19,7 +19,7 @@
 (define (has-name? t) 
   (and print-aliases
        (for/first ([(n t*) (in-pairs (in-list ((current-type-names))))]
-                   #:when (type-equal? t t*))
+                   #:when (and (Type? t*) (type-equal? t t*)))
          n)))
 
 (define (print-filter c port write?)