diff --git a/collects/scribblings/guide/contracts-exists.scrbl b/collects/scribblings/guide/contracts-exists.scrbl
index c2014841db..13081b9d53 100644
--- a/collects/scribblings/guide/contracts-exists.scrbl
+++ b/collects/scribblings/guide/contracts-exists.scrbl
@@ -12,7 +12,7 @@ protect abstractions, ensuring that clients of your module
 cannot depend on the precise representation choices you make
 for your data structures.
 
-#; @ctc-section{Getting Started, with a Stack Example}
+@; @ctc-section{Getting Started, with a Stack Example}
 
 @margin-note{
   You can type @racket[#:exists] instead of @racket[#:∃] if you