diff --git a/kernel.c b/kernel.c
index d1e80d6c89b53c4da2d7bb5c6f1184db876aa1c5..ab9e43ef4f2a31f36ca998d3e084bc1d6771b2bf 100644
--- a/kernel.c
+++ b/kernel.c
@@ -112,9 +112,10 @@ void terminal_putchar(char c) {
  
 void terminal_writestring(const char* data) {
   size_t datalen = strlen(data);
-  for (size_t i = 0; i < datalen; i++)
+  for (size_t i = 0; i < datalen; i++) {
     terminal_putchar(data[i]);
 }
+}
 
 #if defined(__cplusplus)
 extern "C" /* Use C linkage for kernel_main. */