diff --git a/collects/web-server/scribblings/lang.scrbl b/collects/web-server/scribblings/lang.scrbl
index b981b02179..255e8d6a1c 100644
--- a/collects/web-server/scribblings/lang.scrbl
+++ b/collects/web-server/scribblings/lang.scrbl
@@ -3,6 +3,8 @@
 
 @title[#:tag "lang/web.ss"]{Stateless Web Interaction}
 
+@section{Low Level}
+
 @(require (for-label web-server/lang/abort-resume))
 @defmodule[web-server/lang/abort-resume]{
 
@@ -13,6 +15,8 @@
              
 }
 
+@section{High Level}
+
 @(require (for-label web-server/lang/web))
 @defmodule[web-server/lang/web]{
 
diff --git a/collects/web-server/scribblings/stateless-servlet.scrbl b/collects/web-server/scribblings/stateless-servlet.scrbl
index c900979363..cb1e4101f4 100644
--- a/collects/web-server/scribblings/stateless-servlet.scrbl
+++ b/collects/web-server/scribblings/stateless-servlet.scrbl
@@ -2,7 +2,6 @@
 @(require "web-server.ss")
 
 @title[#:tag "stateless-servlets"]{Stateless Servlets}
-@defmodulelang[web-server]
 
 @(require (for-label "dummy-stateless-servlet.ss")) @; to give a binding context
 @declare-exporting[#:use-sources (web-server/scribblings/dummy-stateless-servlet)]
@@ -30,6 +29,8 @@ The @schememodname[web-server] language automatically provides the @schememodnam
 @; ------------------------------------------------------------
 @section[#:tag "considerations"]{Usage Considerations}
 
+@defmodulelang[web-server]
+
 A servlet has the following process performed on it automatically:
 @itemize[
  @item{All uses of @scheme[letrec] are removed and replaced with equivalent uses of