va_start(args, fmt);
 
-       /* For this to work, printbuffer must be larger than
+       /*
+        * For this to work, printbuffer must be larger than
         * anything we ever want to print.
         */
        i = vscnprintf(printbuffer, sizeof(printbuffer), fmt, args);
        uint i;
        char printbuffer[CONFIG_SYS_PBSIZE];
 
-       /* For this to work, printbuffer must be larger than
+       /*
+        * For this to work, printbuffer must be larger than
         * anything we ever want to print.
         */
        i = vscnprintf(printbuffer, sizeof(printbuffer), fmt, args);