diff --git a/collects/typed-scheme/rep/type-rep.ss b/collects/typed-scheme/rep/type-rep.ss
index 9ced9791..6e744cfa 100644
--- a/collects/typed-scheme/rep/type-rep.ss
+++ b/collects/typed-scheme/rep/type-rep.ss
@@ -97,7 +97,7 @@
 (dt Keyword (kw ty required?)
     [#:frees (free-vars* ty)
              (free-idxs* ty)]
-    [#:fold-rhs (*Keyword kw (type-rec-id ty))])
+    [#:fold-rhs (*Keyword kw (type-rec-id ty) required?)])
 
 ;; dom : Listof[Type]
 ;; rng : Type