diff --git a/src/privileged/privdec.sv b/src/privileged/privdec.sv
index 3c33c8b5..9aaa9979 100644
--- a/src/privileged/privdec.sv
+++ b/src/privileged/privdec.sv
@@ -70,7 +70,7 @@ module privdec (
     assign WFICountPlus1 = WFICount + 1;
     floprc #(`WFI_TIMEOUT_BIT+1) wficountreg(clk, reset, ~wfiM, WFICountPlus1, WFICount);  // count while in WFI
   // coverage off -item e 1 -fecexprrow 1
-  // Excluding test case where we need to test WFI in a condition where it will never trap    
+  // WFI Timout trap will not occur when STATUS_TW is low while in supervisor mode, so the system gets stuck waiting for an interrupt and triggers a watchdog timeout.
     assign WFITimeoutM = ((STATUS_TW & PrivilegeModeW != `M_MODE) | (`S_SUPPORTED & PrivilegeModeW == `U_MODE)) & WFICount[`WFI_TIMEOUT_BIT]; 
   // coverage on
   end else assign WFITimeoutM = 0;