diff --git a/collects/honu/private/compiler/translate.ss b/collects/honu/private/compiler/translate.ss
index cf1e018aca..227723b754 100644
--- a/collects/honu/private/compiler/translate.ss
+++ b/collects/honu/private/compiler/translate.ss
@@ -105,7 +105,7 @@
            (at stx `(define ,(translate-class-name name)
                       (class* ,(translate-class-name base) ,(map translate-iface-name impls)
                         (honu:type ,(translate-type-for-syntax selftype))
-                        (honu:type ,@(map (lambda (w) (translate-type-for-syntax (honu:formal-type w)))))
+                        (honu:type ,@(map (lambda (w) (translate-type-for-syntax (honu:formal-type w))) withs))
                         (inspect #f)
                         ,(translate-inits inits)
                         ,@(map translate-member members-before)
@@ -171,4 +171,4 @@
              ;; as before, the 3 is for " = "
              (renderer ,(translate-static-field-getter name)
                        (+ indent ,(+ indent-delta (string-length (symbol->string (syntax-e name))) 3)))))
-  )
\ No newline at end of file
+  )