Index: firmware/App/Controllers/DrainPump.c
===================================================================
diff -u -r2bb3eb5316eef6a7eccf41f8815de100aa6abee7 -r6bb7cd715299d16c131ab074fac0e62d8022f235
--- firmware/App/Controllers/DrainPump.c	(.../DrainPump.c)	(revision 2bb3eb5316eef6a7eccf41f8815de100aa6abee7)
+++ firmware/App/Controllers/DrainPump.c	(.../DrainPump.c)	(revision 6bb7cd715299d16c131ab074fac0e62d8022f235)
@@ -359,7 +359,7 @@
         checkPersistentAlarm( ALARM_ID_DRAIN_PUMP_OFF_FAULT, isRPMTooHigh, getDrainPumpMeasuredRPM(), MIN_DRAIN_PUMP_RPM );
 
         // If the off fault alarm has become active, trigger the safety shutdown
-        if ( isAlarmActive( ALARM_ID_DRAIN_PUMP_OFF_FAULT ) )
+        if ( TRUE == isAlarmActive( ALARM_ID_DRAIN_PUMP_OFF_FAULT ) )
         {
             activateSafetyShutdown();
         }