diff --git a/certora/specs/ERC20.spec b/certora/specs/ERC20.spec
index f73b815..72e2db4 100644
--- a/certora/specs/ERC20.spec
+++ b/certora/specs/ERC20.spec
@@ -16,7 +16,7 @@ methods {
     function delegatee(address)                    external returns address   envfree;
     function nonces(address)                       external returns (uint256) envfree;
     function DOMAIN_SEPARATOR()                    external returns (bytes32) envfree;
-    function upgradeToAndCall(address, bytes) external => NONDET DELETE;
+    function upgradeToAndCall(address, bytes)      external => NONDET DELETE;
 }
 
 /*