Index: firmware/App/Controllers/Buttons.c
===================================================================
diff -u -r1f3647830e9de0a1f0a4e445ce8d72d5525f51fb -r8592c629e9e6e212c1325239a21ceb641f9dc1fe
--- firmware/App/Controllers/Buttons.c	(.../Buttons.c)	(revision 1f3647830e9de0a1f0a4e445ce8d72d5525f51fb)
+++ firmware/App/Controllers/Buttons.c	(.../Buttons.c)	(revision 8592c629e9e6e212c1325239a21ceb641f9dc1fe)
@@ -345,6 +345,7 @@
         // if stop button not consumed within a reasonable time, s/w fault
         if ( TRUE == didTimeout( stopButtonPendingTimer, STOP_BUTTON_PENDING_TIMEOUT ) )
         {
+            stopButtonPressPending = FALSE;
             SET_ALARM_WITH_1_U32_DATA( ALARM_ID_SOFTWARE_FAULT, SW_FAULT_ID_BUTTONS_STOP_BUTTON_NOT_CONSUMED )
         }
     }