diff --git a/certora/L1TokenBridge.conf b/certora/L1TokenBridge.conf
index 8f78f67..d0cf7cb 100644
--- a/certora/L1TokenBridge.conf
+++ b/certora/L1TokenBridge.conf
@@ -4,7 +4,7 @@
         "certora/harness/Auxiliar.sol",
         "test/mocks/MessengerMock.sol",
         "test/mocks/GemMock.sol",
-        "certora/harness/ImplementatioNMock.sol"
+        "certora/harness/ImplementationMock.sol"
     ],
     "solc": "solc-0.8.21",
     "solc_optimize_map": {
@@ -12,7 +12,7 @@
         "Auxiliar": "0",
         "MessengerMock": "0",
         "GemMock": "0",
-        "ImplementatioNMock": "0"
+        "ImplementationMock": "0"
     },
     "link": [
         "L1TokenBridge:messenger=MessengerMock"
diff --git a/certora/L2TokenBridge.conf b/certora/L2TokenBridge.conf
index 64c94c2..f0db0b9 100644
--- a/certora/L2TokenBridge.conf
+++ b/certora/L2TokenBridge.conf
@@ -4,7 +4,7 @@
         "certora/harness/Auxiliar.sol",
         "test/mocks/MessengerMock.sol",
         "test/mocks/GemMock.sol",
-        "certora/harness/ImplementatioNMock.sol"
+        "certora/harness/ImplementationMock.sol"
     ],
     "solc": "solc-0.8.21",
     "solc_optimize_map": {
@@ -12,7 +12,7 @@
         "Auxiliar": "0",
         "MessengerMock": "0",
         "GemMock": "0",
-        "ImplementatioNMock": "0"
+        "ImplementationMock": "0"
     },
     "link": [
         "L2TokenBridge:messenger=MessengerMock"