diff --git a/collects/web-server/scribblings/tutorial/tutorial.scrbl b/collects/web-server/scribblings/tutorial/tutorial.scrbl
index 15990be3bf..a326902e66 100644
--- a/collects/web-server/scribblings/tutorial/tutorial.scrbl
+++ b/collects/web-server/scribblings/tutorial/tutorial.scrbl
@@ -1150,7 +1150,7 @@ Second, add the following at the bottom of your application:
                #:extra-files-path 
                (build-path _path "htdocs")
                #:servlet-path
-               [servlet-path "servlets/APPLICATION.ss"])
+               "servlets/APPLICATION.ss")
 ]
 
 You can change the value of the @scheme[#:port] parameter to use a different port.