diff --git a/Fltk/GUI.cpp b/Fltk/GUI.cpp
index 778c8316f069efe9d46b54abdd934118a8c7b437..9854bd847b1f5b825d355d9b810680f8353940c0 100644
--- a/Fltk/GUI.cpp
+++ b/Fltk/GUI.cpp
@@ -1,4 +1,4 @@
-// $Id: GUI.cpp,v 1.582 2006-12-03 20:11:13 geuzaine Exp $
+// $Id: GUI.cpp,v 1.583 2006-12-05 20:24:09 geuzaine Exp $
 //
 // Copyright (C) 1997-2007 C. Geuzaine, J.-F. Remacle
 //
@@ -1679,7 +1679,7 @@ void GUI::create_option_window()
     opt_redraw->callback(redraw_cb);
   }
   {
-    Fl_Button *o = new Fl_Button(width - 2.5 * BB - 2 * WB, height - BH - WB, 1.5*BB, BH, "Save as defaults");
+    Fl_Button *o = new Fl_Button(width - 2.5 * BB - 2 * WB, height - BH - WB, (int)(1.5 * BB), BH, "Save as defaults");
     o->callback(options_save_cb);
   }
   {