diff --git a/certora/confs/StakeManager.conf b/certora/confs/StakeManager.conf
index ce3f004..6fc3a00 100644
--- a/certora/confs/StakeManager.conf
+++ b/certora/confs/StakeManager.conf
@@ -1,10 +1,10 @@
 {
-  "files":
-    ["contracts/StakeManager.sol",
+  "files": [
+    "contracts/StakeManager.sol",
     "certora/helpers/ExpiredStakeStorageA.sol",
-      "certora/helpers/ERC20A.sol"
-    ],
-  "link" : [
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
diff --git a/certora/confs/StakeManagerProcess.conf b/certora/confs/StakeManagerProcess.conf
index 67b061d..1c45e5b 100644
--- a/certora/confs/StakeManagerProcess.conf
+++ b/certora/confs/StakeManagerProcess.conf
@@ -1,10 +1,10 @@
 {
-  "files":
-    ["contracts/StakeManager.sol",
-      "certora/helpers/ERC20A.sol",
-      "certora/helpers/ExpiredStakeStorageA.sol"
-    ],
-  "link" : [
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
diff --git a/certora/confs/StakeManagerStartMigration.conf b/certora/confs/StakeManagerStartMigration.conf
index e6e6761..bafb372 100644
--- a/certora/confs/StakeManagerStartMigration.conf
+++ b/certora/confs/StakeManagerStartMigration.conf
@@ -1,13 +1,13 @@
 {
-  "files":
-    [ "contracts/StakeManager.sol",
-      "certora/harness/StakeManagerNew.sol",
-      "certora/helpers/ExpiredStakeStorageA.sol",
-      "certora/helpers/ERC20A.sol"
-    ],
-  "link" : [
+  "files": [
+    "contracts/StakeManager.sol",
+    "certora/harness/StakeManagerNew.sol",
+    "certora/helpers/ExpiredStakeStorageA.sol",
+    "certora/helpers/ERC20A.sol"
+  ],
+  "link": [
     "StakeManager:REWARD_TOKEN=ERC20A",
-    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",
+    "StakeManager:expiredStakeStorage=ExpiredStakeStorageA"
   ],
   "msg": "Verifying StakeManager.sol",
   "rule_sanity": "basic",
diff --git a/certora/confs/StakeVault.conf b/certora/confs/StakeVault.conf
index e981f8c..04b5f84 100644
--- a/certora/confs/StakeVault.conf
+++ b/certora/confs/StakeVault.conf
@@ -5,7 +5,7 @@
     "certora/helpers/ExpiredStakeStorageA.sol",
     "certora/helpers/ERC20A.sol"
   ],
-  "link" : [
+  "link": [
     "StakeVault:STAKING_TOKEN=ERC20A",
     "StakeManager:REWARD_TOKEN=ERC20A",
     "StakeManager:expiredStakeStorage=ExpiredStakeStorageA",