Apply suggestions from code review

Author: Amxx

certora/specs/AccessControlDefaultAdminRules.spec

@@ -70,7 +70,7 @@ invariant defaultAdminRoleAdminConsistency()
 │ Invariant: owner is the defaultAdmin                                                                                │
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
-// Writting this as an invariant would be flagged by Certora as trivial. Writting it as a rule is just as valid: we
+// 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
 rule ownerConsistency() {
   defaultAdmin() == owner();