diff --git a/collects/web-server/scribblings/lang-api.scrbl b/collects/web-server/scribblings/lang-api.scrbl
index 4a2b42fd35..07883b7c24 100644
--- a/collects/web-server/scribblings/lang-api.scrbl
+++ b/collects/web-server/scribblings/lang-api.scrbl
@@ -5,6 +5,8 @@
 
 @defmodulelang[web-server]
 
+@section[#:style 'hidden #:tag "stateless-example"]{Example}
+
 A stateless servlet should @scheme[provide] the following exports:
 
 @(require (for-label web-server/http
diff --git a/collects/web-server/scribblings/servlet.scrbl b/collects/web-server/scribblings/servlet.scrbl
index 214f5cff9b..45d488130a 100644
--- a/collects/web-server/scribblings/servlet.scrbl
+++ b/collects/web-server/scribblings/servlet.scrbl
@@ -5,6 +5,8 @@
 
 @defmodule[web-server/servlet]
 
+@section[#:style 'hidden #:tag "servlet-example"]{Example}
+
 A stateful servlet should @scheme[provide] the following exports:
 
 @(require (for-label web-server/http