diff --git a/circuits/src/outer/mod.rs b/circuits/src/outer/mod.rs
index d591db91..7bbc462d 100644
--- a/circuits/src/outer/mod.rs
+++ b/circuits/src/outer/mod.rs
@@ -579,7 +579,7 @@ where
         _: &Self::CircuitConfig,
         inputs: &Self::InstanceInputs,
     ) -> Vec<Fr> {
-        // Note, the construction of `inputs` requires that that all inputs are
+        // Note, the construction of `inputs` requires that all inputs are
         // consistent, including the final digest.  Hence we can just read that
         // out.
         let keccak_instance = &inputs.keccak_instance;
diff --git a/circuits/src/utils/hashing.rs b/circuits/src/utils/hashing.rs
index 6e099a8e..2cd7bf3f 100644
--- a/circuits/src/utils/hashing.rs
+++ b/circuits/src/utils/hashing.rs
@@ -394,7 +394,7 @@ pub trait InCircuitPartialHash<F: EccPrimeField>:
     /// Absorbs the first `parts` of `self` into `hasher`.
     fn partial_hash(&self, parts: usize, hasher: &mut PoseidonHasher<F>);
 
-    /// Returns the number of of field elements contained in `parts`.
+    /// Returns the number of field elements contained in `parts`.
     ///
     /// # Note
     ///
diff --git a/upa/src/tool/aggregator.ts b/upa/src/tool/aggregator.ts
index 3b74af93..bc95967d 100644
--- a/upa/src/tool/aggregator.ts
+++ b/upa/src/tool/aggregator.ts
@@ -227,7 +227,7 @@ const makeSubmitAggregatedProofCommand = (
         type: optional(number),
         long: "off-chain-final-count",
         description:
-          "include only leading proofs from final final submission " +
+          "include only leading proofs from final submission " +
           "(default: all)",
       }),
     },