diff --git a/collects/web-server/insta/insta.ss b/collects/web-server/insta/insta.ss
index 03b85c9358..6faaf7bec9 100644
--- a/collects/web-server/insta/insta.ss
+++ b/collects/web-server/insta/insta.ss
@@ -59,9 +59,9 @@
        (quasisyntax/loc stx
          (#,@expanded
           (provide/contract (#,start (request? . -> . response?)))
-          (if extra-files-path
-              (serve/servlet #,start
-                             #:extra-files-paths (list extra-files-path)
-                             #:launch-browser? launch-browser?)
-              (serve/servlet #,start
-                             #:launch-browser? launch-browser?)))))]))
+          (serve/servlet (contract (request? . -> . response?) #,start
+                                   'you 'web-server
+                                   (list (make-srcloc #f #f #f #f #f)
+                                         "start"))
+                         #:extra-files-paths (if extra-files-path (list extra-files-path) empty)
+                         #:launch-browser? launch-browser?))))]))