diff --git a/pkgs/plt-services/meta/new-web/stubs/docs.rkt b/pkgs/plt-services/meta/new-web/stubs/docs.rkt
index ddf9a039d6..d4befc2fb3 100644
--- a/pkgs/plt-services/meta/new-web/stubs/docs.rkt
+++ b/pkgs/plt-services/meta/new-web/stubs/docs.rkt
@@ -27,7 +27,7 @@
  (plain #:site docs-site
         #:file "doc-site.css"
         @list{
-              @"@"import url("@(site-css-path docs-site)")
+              @"@"import url("@(site-css-path docs-site)");
               .navsettop, .tocset { top: 60px; }
               .versionbox { top: 64px; }
               }))