diff --git a/certora/specs/GovernorBase.spec b/certora/specs/GovernorBase.spec
index b54f8c0e8..ae7d0a073 100644
--- a/certora/specs/GovernorBase.spec
+++ b/certora/specs/GovernorBase.spec
@@ -82,7 +82,7 @@ rule sanityCheckVoteEnd(method f, uint256 pId) {
 //////////////////////////////////////////////////////////////////////////////
 ////////////////////////////// INVARIANTS ////////////////////////////////////
 //////////////////////////////////////////////////////////////////////////////
-//
+// 
 
 /**
  * A proposal cannot end unless it started.