diff --git a/collects/scribblings/framework/splash.scrbl b/collects/scribblings/framework/splash.scrbl
index f64cd23d1d..75c98868ce 100644
--- a/collects/scribblings/framework/splash.scrbl
+++ b/collects/scribblings/framework/splash.scrbl
@@ -23,7 +23,7 @@ that number to control the gauge along the bottom of the splash screen.
                                                   exact-nonnegative-integer?))]
                        [splash-title string?]
                        [width-default exact-nonnegative-integer?]
-                       #:allow-funny? [allow-funny? #f])
+                       [#:allow-funny? allow-funny? boolean? #f])
          void?]{
   Starts a new splash screen. The splash screen is created in its own, new 
   @tech[#:doc '(lib "scribblings/gui/gui.scrbl") #:key "eventspace"]{eventspace}.