diff --git a/sys/lib/libnethackmain.c b/sys/lib/libnethackmain.c
index ed8142bd7..5f000847f 100644
--- a/sys/lib/libnethackmain.c
+++ b/sys/lib/libnethackmain.c
@@ -76,9 +76,6 @@ char *argv[];
     boolean plsel_once = FALSE;
     int i;
 
-    printf ("nhmain\n");
-    printf ("argc: %d\n", argc);
-    printf ("argv: %p\n", (void *)argv);
     for (i = 0; i < argc; i++) {
         printf ("argv[%d]: %s\n", i, argv[i]);
     }