diff --git a/collects/web-server/prototype-web-server/server.ss b/collects/web-server/prototype-web-server/server.ss
index 89d989cd67..285803584d 100644
--- a/collects/web-server/prototype-web-server/server.ss
+++ b/collects/web-server/prototype-web-server/server.ss
@@ -53,7 +53,6 @@
      '(mzscheme
       (lib "web-cells.ss" "web-server" "prototype-web-server" "newcont")
       (lib "abort-resume.ss" "web-server" "prototype-web-server" "private")
-      (lib "session.ss" "web-server" "prototype-web-server" "private")
       (lib "request.ss" "web-server" "private"))))
   
   (define/kw (make #:key
diff --git a/collects/web-server/prototype-web-server/servlets/add01.ss b/collects/web-server/prototype-web-server/servlets/add01.ss
index 25e8148427..1fc1525446 100644
--- a/collects/web-server/prototype-web-server/servlets/add01.ss
+++ b/collects/web-server/prototype-web-server/servlets/add01.ss
@@ -1,6 +1,5 @@
 (module add01 mzscheme
-  (require (lib "session.ss" "web-server" "prototype-web-server" "private")
-           (lib "request-structs.ss" "web-server")
+  (require (lib "request-structs.ss" "web-server")
            (lib "url.ss" "net"))
   (provide start)
 
@@ -31,7 +30,7 @@
          `(html (head (title "Hello"))
                 (body
                  (h1 "Hello World!")
-                 (form ([action ,(url->string (session-url (current-session)))]
+                 (form ([action ,(url->string uri)]
                         [method "get"] [enctype "application/x-www-form-urlencoded"])
                          "Enter the first number to add: "
                          (input ([type "text"] [name "first"] [value ""]))