diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl
index 4ba6ce07ef..96e9a76faa 100644
--- a/collects/scribblings/reference/contracts.scrbl
+++ b/collects/scribblings/reference/contracts.scrbl
@@ -744,8 +744,8 @@ ensure that the exported functions are treated parametrically.
 }
 
 @defform*/subs[
- (with-contract blame-id (wc-export ...) free-var-list ... body ...+)
- (with-contract blame-id result-spec free-var-list ... body ...+)
+ [(with-contract blame-id (wc-export ...) free-var-list ... body ...+)
+  (with-contract blame-id result-spec free-var-list ... body ...+)]
  ([wc-export
    (id contract-expr)]
   [result-spec