diff --git a/stlc+define+cons.rkt b/stlc+define+cons.rkt
index e45b05b..5a31ec1 100644
--- a/stlc+define+cons.rkt
+++ b/stlc+define+cons.rkt
@@ -317,7 +317,8 @@
                          deftype ...
                          ;structdef ...
                          deffn ...
-                         e ...))
+                         e ...
+                         (void)))
 ;        #,(expand/df #'(let-values ([def-val-lhs def-val-rhs] ...)
 ;                         (let-syntax ([def-syn-lhs def-syn-rhs] ...)
 ;                           (letrec-values ([f v] ...) e ... (void)))))