diff --git a/collects/typed/framework/framework.rkt b/collects/typed/framework/framework.rkt
index ee2e59f5..d03ebffe 100644
--- a/collects/typed/framework/framework.rkt
+++ b/collects/typed/framework/framework.rkt
@@ -32,7 +32,10 @@
   (-> (Instance Style-List%))]
  [racket:text% Racket:Text%]
  [gui-utils:ok/cancel-buttons
-  ((Instance Horizontal-Panel%) ((Instance Button%) (Instance Event%) -> Void) ((Instance Button%) (Instance Event%) -> Void) -> (values Any Any))])
+  ((Instance Horizontal-Panel%)
+   ((Instance Button%) (Instance Event%) -> Void)
+   ((Instance Button%) (Instance Event%) -> Void)
+   -> (values Any Any))])
 
 (require/typed/provide "prefs-contract.rkt"
                        [preferences:get-drracket:large-letters-font (-> (U #f (Pair String Integer)))])
diff --git a/collects/typed/mred/mred.rkt b/collects/typed/mred/mred.rkt
index 1fc5b1e3..9b1ca81a 100644
--- a/collects/typed/mred/mred.rkt
+++ b/collects/typed/mred/mred.rkt
@@ -2,6 +2,10 @@
 
 (require typed/private/utils)
 
+(dt Frame% (Class ()
+                  ([label String])
+                  ([show (Any -> Void)])))
+
 (dt Bitmap% (Class (Real Real Boolean)
                    ()
                    ([get-width (-> Integer)]
@@ -68,11 +72,12 @@
 		  [get-text (Integer (U Integer 'eof) -> String)]
 		  [insert (String Number Number -> Void)])))
 
-(dt Button% (Class () () ()))
+(dt Button% (Rec B% (Class (String (Instance Frame%) (B% Any -> Any)) () ())))
 (dt Event% (Class () () ()))
 
 (require/typed/provide
- scheme/gui
+ racket/gui
+ [frame% Frame%]
  [button% Button%]
  [event% Event%]
  [the-font-list (Instance Font-List%)]
@@ -88,6 +93,7 @@
  [bitmap% Bitmap%]
  [color% Color%]
  [snip% Snip%]
+ [message-box (String String -> (U 'ok 'cancel 'yes 'no))]
  [open-input-text-editor
   ((Instance Text%) Integer (U 'end Integer) ((Instance Snip%) -> (Instance Snip%)) (Instance Text%) Boolean -> Input-Port)])