diff --git a/collects/web-server/insta/insta.ss b/collects/web-server/insta/insta.ss
index 4a35107704..13059eb40d 100644
--- a/collects/web-server/insta/insta.ss
+++ b/collects/web-server/insta/insta.ss
@@ -13,7 +13,7 @@
 (define launch-browser? #t)
 
 (provide/contract
- [static-files-path ((or/c string? path?) . -> . void?)])
+ [static-files-path (path-string? . -> . void?)])
 (define (static-files-path path)
   (set! extra-files-path 
         (if (path? path)