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