diff --git a/CLIFlags/method.conf b/CLIFlags/method.conf
index 0cdad429..fcf9c641 100644
--- a/CLIFlags/method.conf
+++ b/CLIFlags/method.conf
@@ -4,7 +4,8 @@
     ],
     "verify": "ERC20:../DEFI/ERC20/certora/specs/ERC20Full.spec",
     // Use only specific method for parametric rules and invariants.
-    "method": ["transfer(address,uint256)", "transferFrom(address,address,uint256)"],
-    
+    // Note that one can use either the full ABI signature or just the function name
+    "method": ["transfer(address,uint256)", "transferFrom"],
+
     "solc_allow_path": "../"
-}
\ No newline at end of file
+}