diff --git a/certora/specs.js b/certora/specs.js
index 525afd51f..8f2a12855 100644
--- a/certora/specs.js
+++ b/certora/specs.js
@@ -49,31 +49,14 @@ module.exports = [
   ).map(([spec, token]) => ({
     spec,
     contract: 'GovernorHarness',
-    files: [
-      'certora/harnesses/GovernorHarness.sol',
-      `certora/harnesses/${token}.sol`,
-    ],
-    options: [
-      `--link GovernorHarness:token=${token}`,
-      '--optimistic_loop',
-      '--optimistic_hashing',
-    ],
+    files: ['certora/harnesses/GovernorHarness.sol', `certora/harnesses/${token}.sol`],
+    options: [`--link GovernorHarness:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
   })),
   // WIP part
-  ...product(
-    ['GovernorFunctions'],
-    ['ERC20VotesBlocknumberHarness'],
-  ).map(([spec, token]) => ({
+  ...product(['GovernorFunctions'], ['ERC20VotesBlocknumberHarness']).map(([spec, token]) => ({
     spec,
     contract: 'GovernorHarness',
-    files: [
-      'certora/harnesses/GovernorHarness.sol',
-      `certora/harnesses/${token}.sol`,
-    ],
-    options: [
-      `--link GovernorHarness:token=${token}`,
-      '--optimistic_loop',
-      '--optimistic_hashing',
-    ],
+    files: ['certora/harnesses/GovernorHarness.sol', `certora/harnesses/${token}.sol`],
+    options: [`--link GovernorHarness:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
   })),
 ];