diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
index 21ade345..675b13bf 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
@@ -2637,7 +2637,7 @@
          [get-version (-> Integer)]
          [read ((Instance Editor-Stream-In%) -> (Option (Instance Snip%)))]
          [read-header ((Instance Editor-Stream-In%) -> Boolean)]
-         [reading-header ((Instance Editor-Stream-In%) -> Boolean)]
+         [reading-version ((Instance Editor-Stream-In%) -> Integer)]
          [set-classname (String -> Void)]
          [set-version (Integer -> Void)]
          [write-header ((Instance Editor-Stream-Out%) -> Boolean)]))