diff --git a/libc/src/debug.c b/libc/src/debug.c
index 1626ea2..89c3e54 100644
--- a/libc/src/debug.c
+++ b/libc/src/debug.c
@@ -36,9 +36,13 @@ static inline void __debug_print_header(const char *file, const char *fun, int l
     sprintf(tmp_prefix, "%s:%d", file, line);
     sprintf(final_prefix, " %-20s ", tmp_prefix);
     dbg_puts(final_prefix);
+#if 0
     dbg_putchar('|');
-    sprintf(final_prefix, " %-25s ] ", fun);
+    sprintf(final_prefix, " %-25s ]", fun);
     dbg_puts(final_prefix);
+#else
+    dbg_putchar(']');
+#endif
 }
 
 void dbg_printf(const char *file, const char *fun, int line, const char *format, ...)
diff --git a/mentos/src/io/debug.c b/mentos/src/io/debug.c
index 9623edc..0bb7d4d 100644
--- a/mentos/src/io/debug.c
+++ b/mentos/src/io/debug.c
@@ -65,9 +65,13 @@ static inline void __debug_print_header(const char *file, const char *fun, int l
     sprintf(tmp_prefix, "%s:%d", file, line);
     sprintf(final_prefix, " %-20s ", tmp_prefix);
     dbg_puts(final_prefix);
+#if 0
     dbg_putchar('|');
     sprintf(final_prefix, " %-25s ]", fun);
     dbg_puts(final_prefix);
+#else
+    dbg_putchar(']');
+#endif
     dbg_putchar(' ');
     if (header) {
         dbg_puts(header);