diff --git a/gui-doc/scribblings/framework/splash.scrbl b/gui-doc/scribblings/framework/splash.scrbl
index 3de13845..18a4d20f 100644
--- a/gui-doc/scribblings/framework/splash.scrbl
+++ b/gui-doc/scribblings/framework/splash.scrbl
@@ -74,7 +74,7 @@ that number to control the gauge along the bottom of the splash screen.
   if there is more initialization work to be done where you do not want to count loaded files.
 }
 
-@defproc[(add-splash-icon [bmp (is-a?/c bitmap%)] [x exact-nonnegative-integer?] [y exact-nonnegative-integer?])
+@defproc[(add-splash-icon [bmp (is-a?/c bitmap%)] [x real?] [y real?])
          void?]{
   Adds an icon to the splash screen. (DrRacket uses this function to show the tools as they are loaded.)                
 }
diff --git a/gui-lib/framework/splash.rkt b/gui-lib/framework/splash.rkt
index 10a5f75b..c0f0aa41 100644
--- a/gui-lib/framework/splash.rkt
+++ b/gui-lib/framework/splash.rkt
@@ -45,7 +45,7 @@
   
   [shutdown-splash (-> void?)]
   [close-splash (-> void?)]
-  [add-splash-icon (-> (is-a?/c bitmap%) exact-nonnegative-integer? exact-nonnegative-integer? void?)]
+  [add-splash-icon (-> (is-a?/c bitmap%) real? real? void?)]
   [set-splash-progress-bar?! (-> boolean? void?)]
   [set-splash-char-observer (-> procedure? void?)]
   [set-splash-event-callback (-> procedure? void?)]