diff --git a/sw/lib/dif/uart.c b/sw/lib/dif/uart.c
index 73cbef79..b18afea1 100644
--- a/sw/lib/dif/uart.c
+++ b/sw/lib/dif/uart.c
@@ -67,9 +67,9 @@ void uart_read_str(void *uart_base, void *dst, uint64_t len) {
 
 // Default UART provides console
 void uart_open(){
-  uint32_t rtc_freq = *reg32(&__base_regs, CHESHIRE_RTC_FREQ_REG_OFFSET);
-  uint64_t reset_freq = clint_get_core_freq(rtc_freq, 2500);
-  uart_init(&__base_uart, reset_freq, 115200);
+    uint32_t rtc_freq = *reg32(&__base_regs, CHESHIRE_RTC_FREQ_REG_OFFSET);
+    uint64_t reset_freq = clint_get_core_freq(rtc_freq, 2500);
+    uart_init(&__base_uart, reset_freq, 115200);
 };
 
 void _putchar(char character) {
@@ -81,5 +81,6 @@ char _getchar() {
 };
 
 void uart_close() {
-  uart_write_flush(&__base_uart);
+    uart_write_flush(&__base_uart);
 };
+