diff --git a/certora/specs.js b/certora/specs.js
index 95640578a..81f83aa60 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -49,7 +49,7 @@ module.exports = [].concat(
     files: ['certora/harnesses/TimelockControllerHarness.sol'],
     options: ['--optimistic_hashing', '--optimistic_loop'],
   },
-  // Govenor
+  // Governor
   product(
     [
       ...product(['GovernorHarness'], ['GovernorInvariants', 'GovernorBaseRules', 'GovernorChanges', 'GovernorStates']),