diff --git a/collects/meta/web/stubs/planet.rkt b/collects/meta/web/stubs/planet.rkt
index a5f3a25a86..672d7ee249 100644
--- a/collects/meta/web/stubs/planet.rkt
+++ b/collects/meta/web/stubs/planet.rkt
@@ -4,6 +4,7 @@
 
 (provide planet)
 (define planet
-  @page[#:file "" #:link-title "PLaneT" #:window-title "{{{TITLE}}}"]{
+  @page[#:file "" #:link-title "PLaneT" #:window-title "{{{TITLE}}}"
+        #:extra-headers "{{{HEAD}}}"]{
     @; This is a stub page to get the header for planet
     {{{BODY}}}})