diff --git a/certora/specs/ERC1155Burnable.spec b/certora/specs/ERC1155Burnable.spec
index 60418bbbf..5f2ef94d2 100644
--- a/certora/specs/ERC1155Burnable.spec
+++ b/certora/specs/ERC1155Burnable.spec
@@ -4,7 +4,8 @@ methods {
 }
 
 /// If a method call reduces account balances, the caller must be either the 
-/// owner of the account or approved by the owner to act on the owner's behalf.
+/// holder of the account or approved by the holder to act on the holder's 
+/// behalf.
 rule onlyHolderOrApprovedCanReduceBalance {
     address holder; uint256 token; uint256 amount;
     uint256 balanceBefore = balanceOf(holder, token);