diff --git a/docs/path-resolution.rst b/docs/path-resolution.rst
index 00831e609..1c5a39516 100644
--- a/docs/path-resolution.rst
+++ b/docs/path-resolution.rst
@@ -515,7 +515,7 @@ you can use the following in your source file:
 
 The compiler will look for the file in the VFS under ``dapp-bin/library/math.sol``.
 If the file is not available there, the source unit name will be passed to the Host Filesystem
-Loader, which will then look in ``/project/dapp-bin/library/iterable_mapping.sol``.
+Loader, which will then look in ``/project/dapp-bin/library/math.sol``.
 
 .. warning::
 
diff --git a/docs/types/reference-types.rst b/docs/types/reference-types.rst
index a136497e6..d2e9300e6 100644
--- a/docs/types/reference-types.rst
+++ b/docs/types/reference-types.rst
@@ -372,7 +372,7 @@ Array Members
 
 .. note::
     In EVM versions before Byzantium, it was not possible to access
-    dynamic arrays return from function calls. If you call functions
+    dynamic arrays returned from function calls. If you call functions
     that return dynamic arrays, make sure to use an EVM that is set to
     Byzantium mode.
 
diff --git a/docs/using-the-compiler.rst b/docs/using-the-compiler.rst
index 1a7406f44..4df00d975 100644
--- a/docs/using-the-compiler.rst
+++ b/docs/using-the-compiler.rst
@@ -408,7 +408,7 @@ Input Description
         //   evm.methodIdentifiers - The list of function hashes
         //   evm.gasEstimates - Function gas estimates
         //
-        // Note that using a using `evm`, `evm.bytecode`, etc. will select every
+        // Note that using `evm`, `evm.bytecode`, etc. will select every
         // target part of that output. Additionally, `*` can be used as a wildcard to request everything.
         //
         "outputSelection": {
diff --git a/docs/yul.rst b/docs/yul.rst
index 436d0b146..cf47c1e87 100644
--- a/docs/yul.rst
+++ b/docs/yul.rst
@@ -741,7 +741,7 @@ EVM Dialect
 -----------
 
 The default dialect of Yul currently is the EVM dialect for the currently selected version of the EVM.
-with a version of the EVM. The only type available in this dialect
+The only type available in this dialect
 is ``u256``, the 256-bit native type of the Ethereum Virtual Machine.
 Since it is the default type of this dialect, it can be omitted.