diff --git a/src/plugins/gui/gtk_helper.ml b/src/plugins/gui/gtk_helper.ml
index 2a0af55e56de346fa6d647097b0276ba53232af8..cb7620b22531c1415d426d8367e00b89bfd91a17 100644
--- a/src/plugins/gui/gtk_helper.ml
+++ b/src/plugins/gui/gtk_helper.ml
@@ -741,7 +741,7 @@ class error_manager ?reset (o_parent:GWindow.window_skel) : host =
           ()
       in
       ignore (w#connect#response ~callback:(fun _ -> w#destroy ()));
-      ignore (w#run ());
+      ignore (w#show ());
       if reset then f_reset ()
 
     method error ?parent ?(reset=false) fmt =