diff --git a/epicardium/modules/ws2812.c b/epicardium/modules/ws2812.c
index 8d74559b4dafc24b9dac1c5dffa4743d7cb008f4..1e0897395934efff3e56df75e428f40e6caeb5cb 100644
--- a/epicardium/modules/ws2812.c
+++ b/epicardium/modules/ws2812.c
@@ -19,13 +19,16 @@
 
 static volatile uint32_t counter = 0;
 
-static inline __attribute__((always_inline)) void epic_ws2812_delay_ticks(uint32_t ticks)
+static inline __attribute__((always_inline)) void
+epic_ws2812_delay_ticks(uint32_t ticks)
 {
 	counter = ticks;
-	while (--counter);
+	while (--counter)
+		;
 }
 
-static inline __attribute__((always_inline)) void epic_ws2812_transmit_bit(uint32_t pin, uint8_t bit)
+static inline __attribute__((always_inline)) void
+epic_ws2812_transmit_bit(uint32_t pin, uint8_t bit)
 {
 	if ((bit) != 0) {
 		GPIO_OutSet(pin);
@@ -40,7 +43,8 @@ static inline __attribute__((always_inline)) void epic_ws2812_transmit_bit(uint3
 	}
 }
 
-static inline __attribute__((always_inline)) void epic_ws2812_transmit_byte(uint32_t pin, uint8_t byte)
+static inline __attribute__((always_inline)) void
+epic_ws2812_transmit_byte(uint32_t pin, uint8_t byte)
 {
 	epic_ws2812_transmit_bit(pin, byte & 0b10000000);
 	epic_ws2812_transmit_bit(pin, byte & 0b01000000);
diff --git a/pycardium/modules/ws2812.c b/pycardium/modules/ws2812.c
index e4228aee22a9de4e83d5552a8c47da92cbfb6ff7..4df1d84a047981ef28d00d3f3801d1845cd44a46 100644
--- a/pycardium/modules/ws2812.c
+++ b/pycardium/modules/ws2812.c
@@ -8,8 +8,8 @@
 /* Define the pixel set_all function in this module */
 static mp_obj_t mp_ws2812_set_all(mp_obj_t pin, mp_obj_t color_in)
 {
-	mp_int_t pin_int = mp_obj_get_int(pin);
-	mp_int_t len = mp_obj_get_int(mp_obj_len(color_in));
+	mp_int_t pin_int    = mp_obj_get_int(pin);
+	mp_int_t len        = mp_obj_get_int(mp_obj_len(color_in));
 	mp_int_t pixels_len = len * 3;
 	uint8_t *pixels_arr = alloca(pixels_len * sizeof(uint8_t));
 
@@ -18,15 +18,15 @@ static mp_obj_t mp_ws2812_set_all(mp_obj_t pin, mp_obj_t color_in)
 			color_in, mp_obj_new_int(i), MP_OBJ_SENTINEL
 		);
 
-		pixels_arr[i * 3] = mp_obj_get_int(mp_obj_subscr(
+		pixels_arr[i * 3]     = mp_obj_get_int(mp_obj_subscr(
                         color, mp_obj_new_int(1), MP_OBJ_SENTINEL)
-                );
-                pixels_arr[i * 3 + 1] = mp_obj_get_int(mp_obj_subscr(
-                        color, mp_obj_new_int(0), MP_OBJ_SENTINEL)
-                );
-                pixels_arr[i * 3 + 2] = mp_obj_get_int(mp_obj_subscr(
-                        color, mp_obj_new_int(2), MP_OBJ_SENTINEL)
-                );
+		);
+		pixels_arr[i * 3 + 1] = mp_obj_get_int(mp_obj_subscr(
+			color, mp_obj_new_int(0), MP_OBJ_SENTINEL)
+		);
+		pixels_arr[i * 3 + 2] = mp_obj_get_int(mp_obj_subscr(
+			color, mp_obj_new_int(2), MP_OBJ_SENTINEL)
+		);
 	}
 
 	/* call epicardium to be fast enough */