diff --git a/epicardium/modules/ws2812.c b/epicardium/modules/ws2812.c
index 448222220c65faf087158ecc26c7cb6aa0f7ca85..4d16e5a20b4d7ee90a0e36f1bd275bc60140dcce 100644
--- a/epicardium/modules/ws2812.c
+++ b/epicardium/modules/ws2812.c
@@ -23,7 +23,8 @@ 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