diff --git a/epicardium/modules/ws2812.c b/epicardium/modules/ws2812.c
index 1e0897395934efff3e56df75e428f40e6caeb5cb..448222220c65faf087158ecc26c7cb6aa0f7ca85 100644
--- a/epicardium/modules/ws2812.c
+++ b/epicardium/modules/ws2812.c
@@ -23,14 +23,13 @@ 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)
 {
-	if ((bit) != 0) {
+	if (bit != 0) {
 		GPIO_OutSet(pin);
 		epic_ws2812_delay_ticks(EPIC_WS2812_ONE_HIGH_TICKS);
 		GPIO_OutClr(pin);