diff --git a/Dockerfile b/Dockerfile
index 4931136a..737e63c8 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -39,7 +39,7 @@ RUN ( auditwheel addtag ./z3_solver-* \
 
 FROM python-wheel-with-cargo AS python-wheel-blake2b
 # blake2b-py doesn't publish ARM builds, and also don't publish source packages
-# on PyPI (other than the old 0.1.3 version) so we need to build from from a git
+# on PyPI (other than the old 0.1.3 version) so we need to build from a git
 # tag. They do publish binaries for linux amd64, but their binaries only support
 # certain platform versions and the amd64 python image isn't supported, so we
 # have to build from src for that as well.
diff --git a/solidity_examples/BECToken.sol b/solidity_examples/BECToken.sol
index 98bd5a09..c4052e32 100644
--- a/solidity_examples/BECToken.sol
+++ b/solidity_examples/BECToken.sol
@@ -68,7 +68,7 @@ contract BasicToken is ERC20Basic {
 
   /**
   * @dev Gets the balance of the specified address.
-  * @param _owner The address to query the the balance of.
+  * @param _owner The address to query the balance of.
   * @return An uint256 representing the amount owned by the passed address.
   */
   function balanceOf(address _owner) public returns (uint256 balance) {