diff --git a/collects/typed-racket/rep/type-rep.rkt b/collects/typed-racket/rep/type-rep.rkt
index a1c66b918d..db3f910443 100644
--- a/collects/typed-racket/rep/type-rep.rkt
+++ b/collects/typed-racket/rep/type-rep.rkt
@@ -307,7 +307,12 @@
                   [pred-id identifier?]
                   [cert procedure?]
                   [maker-id identifier?])
-  [#:intern (list name (and parent (Rep-seq parent)) (map Rep-seq flds) (and proc (Rep-seq proc)))]
+  [#:intern (list (hash-id name)
+                  (hash-id pred-id)
+                  (hash-id maker-id)
+                  (and parent (Rep-seq parent))
+                  (map Rep-seq flds)
+                  (and proc (Rep-seq proc)))]
   [#:frees (λ (f) (combine-frees (map f (append (if proc (list proc) null)
                                                 (if parent (list parent) null)
                                                 flds))))]
diff --git a/collects/typed-racket/types/printer.rkt b/collects/typed-racket/types/printer.rkt
index 0cd0a4fab6..bc2d8cfb9c 100644
--- a/collects/typed-racket/types/printer.rkt
+++ b/collects/typed-racket/types/printer.rkt
@@ -147,7 +147,7 @@
        [(Values: (list (Result: t
                                 (FilterSet: (TypeFilter: ft pth id)
                                             (NotTypeFilter: ft pth id))
-                                (Empty:))))
+                                (Empty:))))        
         (if (null? pth)
             (fp "-> ~a : ~a" t ft)
             (begin (fp "-> ~a : ~a @" t ft)