{
       MDEBUG_PUSH_TIME ();
       MDEBUG_PUSH_TIME ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize input-gui module."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize input-gui module."));
       minput__win_fini ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize draw module."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize draw module."));
       mdraw__fini ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize face module."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize face module."));
       mface__fini ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize fontset module."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize fontset module."));
       mfont__fontset_fini ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize window module."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize window module."));
       mwin__fini ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize font module."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize font module."));
       mfont__fini ();
       mframe_default = NULL;
       MDEBUG_POP_TIME ();
-      MDEBUG_PRINT_TIME ("INIT", (stderr, " to finalize the gui modules."));
+      MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize the gui modules."));
       MDEBUG_POP_TIME ();
       win_initialized = 0;
     }