diff --git a/certora/specs/termRepoServicer/collapses.spec b/certora/specs/termRepoServicer/collapses.spec
index 9b8aa71..ffee095 100644
--- a/certora/specs/termRepoServicer/collapses.spec
+++ b/certora/specs/termRepoServicer/collapses.spec
@@ -48,7 +48,7 @@ methods {
     function DummyERC20A.decimals() external returns(uint256) envfree;
     function DummyERC20A.totalSupply() external returns(uint256) envfree;
 
-    function verifyMintExposureAccess(address) external returns(bool) => DISPATCHER(true);
+    function _.verifyMintExposureAccess(address) external returns(bool) => DISPATCHER(true);
 
 }