diff --git a/pkgs/web-server-pkgs/web-server-doc/web-server/scribblings/servlet-env-int.scrbl b/pkgs/web-server-pkgs/web-server-doc/web-server/scribblings/servlet-env-int.scrbl
index ab2a0d11ae..4186b85c78 100644
--- a/pkgs/web-server-pkgs/web-server-doc/web-server/scribblings/servlet-env-int.scrbl
+++ b/pkgs/web-server-pkgs/web-server-doc/web-server/scribblings/servlet-env-int.scrbl
@@ -62,7 +62,7 @@ These functions optimize the construction of dispatchers and launching of server
           [#:banner? banner? boolean? #f]
           [#:listen-ip listen-ip (or/c false/c string?) "127.0.0.1"]
           [#:port port number? 8000]
-          [#:max-waiting exact-nonnegative-integer? 511]
+          [#:max-waiting max-waiting exact-nonnegative-integer? 511]
           [#:ssl-cert ssl-cert (or/c false/c path-string?) #f]
           [#:ssl-key ssl-key (or/c false/c path-string?) #f])
          void]{