diff --git a/board/main.c b/board/main.c
index 544ce7a5..4fdb98d4 100644
--- a/board/main.c
+++ b/board/main.c
@@ -385,8 +385,8 @@ int main(void) {
 
   // LED should keep on blinking all the time
   uint64_t cnt = 0;
-
-  for (cnt=0;;cnt++) {
+  while (true) {
+    cnt++;
     if (power_save_status == POWER_SAVE_STATUS_DISABLED) {
       #ifdef DEBUG_FAULTS
       if (fault_status == FAULT_STATUS_NONE) {
diff --git a/tests/misra/suppressions.txt b/tests/misra/suppressions.txt
index dd0eb5ea..bed64836 100644
--- a/tests/misra/suppressions.txt
+++ b/tests/misra/suppressions.txt
@@ -36,7 +36,6 @@ misra-c2012-10.3
 misra-c2012-10.5
 misra-c2012-10.7
 misra-c2012-12.2
-misra-c2012-14.2
 misra-c2012-17.3
 misra-c2012-21.1
 misra-c2012-21.2