diff --git a/src/plugins/gui/design.ml b/src/plugins/gui/design.ml
index c5a986d5802ee1663188d80d51817a05a251fdc8..21ade2a5af1b660f194cea1f3c85eb7717069438 100644
--- a/src/plugins/gui/design.ml
+++ b/src/plugins/gui/design.ml
@@ -1034,7 +1034,7 @@ class main_window () : main_window_extension_points =
         let m =
           new Menu_manager.menu_manager
             ~packing:(toplevel_vbox#pack ~expand:false ~fill:false ~from:`START)
-            ~host:(self :> Gtk_helper.host)
+            (self :> Gtk_helper.host)
         in
         menu_manager <- Some m;
         m
diff --git a/src/plugins/gui/menu_manager.ml b/src/plugins/gui/menu_manager.ml
index 5d835aabd1c60aef79cff1ad0118f5bf3cae62e9..af195e70150242030b612ab071b8f9d148251690 100644
--- a/src/plugins/gui/menu_manager.ml
+++ b/src/plugins/gui/menu_manager.ml
@@ -112,7 +112,7 @@ let add_submenu container ~pos label =
 external set_menu :  Obj.t -> unit = "ige_mac_menu_set_menu_bar"
 *)
 
-class menu_manager ?packing ~host:(_:Gtk_helper.host) =
+class menu_manager ?packing (_:Gtk_helper.host) =
   let menubar = GMenu.menu_bar ?packing () in
   (*  let () = set_menu (Obj.field (Obj.repr ((menubar)#as_widget)) 1) in *)
   let factory = new GMenu.factory menubar in
diff --git a/src/plugins/gui/menu_manager.mli b/src/plugins/gui/menu_manager.mli
index dba70f9279ccb6d55cb566d59e26cdfce42eee12..22f5cba0dc5ead35416e58d45365f8cdd02f23dc 100644
--- a/src/plugins/gui/menu_manager.mli
+++ b/src/plugins/gui/menu_manager.mli
@@ -113,7 +113,7 @@ end
 
 (** How to handle a Frama-C menu. 
     @since Boron-20100401 *)
-class menu_manager: ?packing:(GObj.widget -> unit) -> host:Gtk_helper.host ->
+class menu_manager: ?packing:(GObj.widget -> unit) -> Gtk_helper.host ->
   object
 
     (** {2 API for plug-ins} *)