diff --git a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl
index d4395af1..a01a60d3 100644
--- a/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl
@@ -691,7 +691,6 @@ but provides additional annotations to assist the typechecker.
   prompt tag. If the wrapped value is used in untyped code, a contract error
   will be raised.
 
-  @;{
   @ex[
     (module typed typed/racket
       (provide do-abort)
@@ -708,8 +707,8 @@ but provides additional annotations to assist the typechecker.
         (default-continuation-prompt-tag)
         (code:comment "the function cannot be passed an argument")
         (λ (f) (f 3))))
-    (require 'untyped)
-  ]}
+    (eval:error (require 'untyped))
+  ]
 }
 
 @defform[(#%module-begin form ...)]{