diff --git a/certora/specs/helpers.spec b/certora/specs/helpers.spec
index 20a11336e..53d115c82 100644
--- a/certora/specs/helpers.spec
+++ b/certora/specs/helpers.spec
@@ -1,3 +1,3 @@
 definition nonpayable(env e) returns bool = e.msg.value == 0;
 
-definition max_uint48() returns uint48 = 0xffffffffffff;
\ No newline at end of file
+definition max_uint48() returns uint48 = 0xffffffffffff;
diff --git a/certora/specs/methods/IGovernor.spec b/certora/specs/methods/IGovernor.spec
index b3e1017d8..f44c2f065 100644
--- a/certora/specs/methods/IGovernor.spec
+++ b/certora/specs/methods/IGovernor.spec
@@ -50,4 +50,4 @@ methods {
     getAgainstVotes(uint256)            returns uint256 envfree
     getForVotes(uint256)                returns uint256 envfree
     getAbstainVotes(uint256)            returns uint256 envfree
-}
\ No newline at end of file
+}