fix: Fix typos

[rex4539]

No description provided.

[height]

Link Height tasks by mentioning a task ID in the pull request title or commit messages, or description and comments with the keyword link (e.g. "Link T-123").

💡Tip: You can also use "Close T-X" to automatically close a task when the pull request is merged.

[miguelmtzinf]

Corrections look good to me. I will leave Certora team to approve it too.
Thanks @rex4539

[codecov-commenter]

Codecov Report

Base: 99.60% // Head: 99.65% // Increases project coverage by +0.04% 🎉

Coverage data is based on head (bc38841) compared to base (9630ab7).
Patch has no changes to coverable lines.

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #781      +/-   ##
==========================================
+ Coverage   99.60%   99.65%   +0.04%     
==========================================
  Files          45       45              
  Lines        2300     2300              
  Branches      421      421              
==========================================
+ Hits         2291     2292       +1     
+ Misses          9        8       -1     

Impacted Files	Coverage Δ
...acts/protocol/libraries/logic/LiquidationLogic.sol	100.00% <0.00%> (+1.00%)	⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.