diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt
index 31535fca..196ba899 100644
--- a/typed-racket-more/typed/racket/private/gui-types.rkt
+++ b/typed-racket-more/typed/racket/private/gui-types.rkt
@@ -1214,6 +1214,7 @@
                [demand-callback
                 ((Instance Checkable-Menu-Item%) -> Any)
                 #:optional]
+               [checked Boolean #:optional]
                [shortcut-prefix (Listof (U 'alt 'cmd 'meta 'ctl
                                            'shift 'option))
                                 #:optional])