Typos and other minor fixes (group n°6)

contracts/utils/NoncesKeyed.sol

@@ -24,7 +24,7 @@ abstract contract NoncesKeyed is Nonces {
     /**
      * @dev Consumes the next unused nonce for an address and key.
      *
-     * Returns the current value without the key prefix. Consumed nonce is increased, so calling this function twice
+     * Returns the current value with the key prefix (i.e. the packed keyNonce). Consumed nonce is increased, so calling this function twice
      * with the same arguments will return different (sequential) results.
      */
     function _useNonce(address owner, uint192 key) internal virtual returns (uint256) {

fv/specs/AccessControlDefaultAdminRules.spec

@@ -71,7 +71,7 @@ invariant defaultAdminRoleAdminConsistency()
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
 // Writing this as an invariant would be flagged by Certora as trivial. Writing it as a rule is just as valid: we
-// verify the is true for any state of the storage
+// verify this is true for any state of the storage
 rule ownerConsistency() {
   assert defaultAdmin() == owner();
 }

fv/specs/ERC20Wrapper.spec

@@ -65,7 +65,7 @@ invariant totalSupplyIsSmallerThanUnderlyingBalance()
             require sumOfUnderlyingBalancesLowerThanUnderlyingSupply(from, to);
         }
         preserved ERC20PermitHarness.burn(address from, uint256 amount) with (env e) {
-            // If someone can burn from the wrapper, than the invariant obviously doesn't hold.
+            // If someone can burn from the wrapper, then the invariant obviously doesn't hold.
             require from != currentContract;
             require sumOfUnderlyingBalancesLowerThanUnderlyingSupply(from, currentContract);
         }

test/token/ERC721/ERC721.behavior.js

@@ -480,15 +480,13 @@ function shouldBehaveLikeERC721() {
 
       const itApproves = function () {
         it('sets the approval for the target address', async function () {
-          expect(await this.token.getApproved(tokenId)).to.equal(this.approved ?? this.approved);
+          expect(await this.token.getApproved(tokenId)).to.equal(this.approved);
         });
       };
 
       const itEmitsApprovalEvent = function () {
         it('emits an approval event', async function () {
-          await expect(this.tx)
-            .to.emit(this.token, 'Approval')
-            .withArgs(this.owner, this.approved ?? this.approved, tokenId);
+          await expect(this.tx).to.emit(this.token, 'Approval').withArgs(this.owner, this.approved, tokenId);
         });
       };