diff --git a/collects/scribblings/scribble/preprocessor.scrbl b/collects/scribblings/scribble/preprocessor.scrbl
index 88b5ab2abb..54019c97b6 100644
--- a/collects/scribblings/scribble/preprocessor.scrbl
+++ b/collects/scribblings/scribble/preprocessor.scrbl
@@ -775,7 +775,8 @@ already beyond it).
                @list{var x = blah();}
                @thunk['blah]{
                  @ifdef["BLEHOS"
-                   @list{@disable-prefix{#}include <bleh.h>
+                   @list{@disable-prefix{#}@;
+                           include <bleh.h>
                          bleh();}
                    @list{error("no bleh");}]
                }]