diff --git a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
index de76a0462c3be..ba339bc44b112 100644
--- a/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
+++ b/packages/contracts-bedrock/test/properties/medusa/Protocol.properties.t.sol
@@ -152,7 +152,7 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
     /// @custom:property sendERC20 decreases sender balance in source chain exactly by the input amount
     /// @custom:property-id 10
     /// @custom:property sendERC20 decreases total supply in source chain exactly by the input amount
-    function property_BridgeSupertoken(
+    function property_SendERC20(
         uint256 fromIndex,
         uint256 recipientIndex,
         uint256 destinationChainId,
@@ -221,7 +221,7 @@ contract ProtocolProperties is ProtocolHandler, CryticERC20ExternalBasicProperti
 
     /// @custom:property-id 8
     /// @custom:property calls to sendERC20 with a value of zero dont modify accounting
-    // NOTE: should we keep it? will cause the exact same coverage as property_BridgeSupertoken
+    // NOTE: should we keep it? will cause the exact same coverage as SendERC20
     function property_SendZeroDoesNotModifyAccounting(
         uint256 fromIndex,
         uint256 recipientIndex,