diff --git a/src/kernel/init.c b/src/kernel/init.c
index 29ad31f2..921e7866 100644
--- a/src/kernel/init.c
+++ b/src/kernel/init.c
@@ -619,8 +619,6 @@ failure1:
 
 void GUIAPI TerminateGUI (int not_used)
 {
-    /* printf("Quit from MiniGUIMain()\n"); */
-
     __mg_enter_terminategui = 1;
 
     pthread_join (__mg_desktop, NULL);