diff --git a/epicardium/modules/hardware.c b/epicardium/modules/hardware.c
index 013df5a4334726f3d40666ff242df06c49461414..cda6a09a2a21fb1152e87ab6fb47c2e9134b77cd 100644
--- a/epicardium/modules/hardware.c
+++ b/epicardium/modules/hardware.c
@@ -84,12 +84,8 @@ int hardware_early_init(void)
 	PB_Init();
 
 	/* Enable 32 kHz output */
-	while (RTC_SquareWave(
-		       MXC_RTC,
-		       SQUARE_WAVE_ENABLED,
-		       F_32KHZ,
-		       NULL) == E_BUSY
-	)
+	while (RTC_SquareWave(MXC_RTC, SQUARE_WAVE_ENABLED, F_32KHZ, NULL) ==
+	       E_BUSY)
 		;
 
 	/* If we don't have a valid time yet, set it to 2019-01-01 */
diff --git a/lib/card10/card10.c b/lib/card10/card10.c
index ef1b0f71c6b9ff699acfacad3b8b39873d44a3ee..5eeb26005fb712d896d8d3f117e35c695ccfc912 100644
--- a/lib/card10/card10.c
+++ b/lib/card10/card10.c
@@ -60,12 +60,8 @@ void card10_init(void)
 	TMR_Delay(MXC_TMR0, MSEC(1000), 0);
 
 	// Enable 32 kHz output
-	while (RTC_SquareWave(
-		       MXC_RTC,
-		       SQUARE_WAVE_ENABLED,
-		       F_32KHZ,
-		       NULL) == E_BUSY
-	)
+	while (RTC_SquareWave(MXC_RTC, SQUARE_WAVE_ENABLED, F_32KHZ, NULL) ==
+	       E_BUSY)
 		;
 	/* If we don't have a valid time yet, set it to 2019-01-01 */
 	if (RTC_GetSecond() < 1546300800L) {