diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index fa2fdaf75..4d3849b2a 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -5,7 +5,7 @@ appreciate all contributions, including bug reports, feature suggestions,
 tutorials/blog posts, and code improvements.
 
 If you're unsure where to start, we recommend to join our [chat room](https://slack.empirehacking.nyc/)
-(in the #ethereum channel) to discuss new ideas to improve this tool. You can also take a look to the [`help wanted`](https://github.com/crytic/echidna/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22)
+(in the #ethereum channel) to discuss new ideas to improve this tool. You can also take a look at the [`help wanted`](https://github.com/crytic/echidna/issues?q=is%3Aissue+is%3Aopen+label%3A%22help+wanted%22)
 issue labels.
 
 ## Bug reports and feature suggestions
diff --git a/README.md b/README.md
index 2148c5543..38e6a575c 100644
--- a/README.md
+++ b/README.md
@@ -172,7 +172,7 @@ Common causes for performance issues that we observed:
 - Lazy data constructors that accumulate thunks
 - Inefficient data structures used in hot paths
 
-Checking for these is a good place to start. If you suspect some comuptation is too lazy and
+Checking for these is a good place to start. If you suspect some computation is too lazy and
 leaks memory, you can use `force` from `Control.DeepSeq` to make sure it gets evaluated.
 
 ## Limitations and known issues
diff --git a/tests/solidity/addressarrayutils/AddressArrayUtils.sol b/tests/solidity/addressarrayutils/AddressArrayUtils.sol
index 64d9f2c88..4c151e499 100644
--- a/tests/solidity/addressarrayutils/AddressArrayUtils.sol
+++ b/tests/solidity/addressarrayutils/AddressArrayUtils.sol
@@ -314,7 +314,7 @@ library AddressArrayUtils {
    * Returns whether the two arrays are equal.
    * @param A The first array
    * @param B The second array
-   * @return True is the arrays are equal, false if not.
+   * @return True if the arrays are equal, false if not.
    */
   function isEqual(address[] memory A, address[] memory B) internal pure returns (bool) {
     if (A.length != B.length) {
diff --git a/tests/solidity/addressarrayutils/AddressArrayUtils_withHasDuplicateBug.sol b/tests/solidity/addressarrayutils/AddressArrayUtils_withHasDuplicateBug.sol
index 1095cbf65..2375c9e87 100644
--- a/tests/solidity/addressarrayutils/AddressArrayUtils_withHasDuplicateBug.sol
+++ b/tests/solidity/addressarrayutils/AddressArrayUtils_withHasDuplicateBug.sol
@@ -313,7 +313,7 @@ library AddressArrayUtils {
    * Returns whether the two arrays are equal.
    * @param A The first array
    * @param B The second array
-   * @return True is the arrays are equal, false if not.
+   * @return True if the arrays are equal, false if not.
    */
   function isEqual(address[] memory A, address[] memory B) internal pure returns (bool) {
     if (A.length != B.length) {