diff --git a/rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll
index f1df0a144b8..0327509c465 100644
--- a/rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll
+++ b/rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll
@@ -79,7 +79,7 @@ module Impl {
    * are parsed left-associatively, so the AST for the condition looks like
    *
    * ```rust
-   * ((let x1 = ... && let x2 = ...) && ...) & let xn = ...
+   * ((let x1 = ... && let x2 = ...) && ...) && let xn = ...
    * ```
    *
    * This, however, does not work with scoping and shadowing, so we instead treat
@@ -319,10 +319,10 @@ module Impl {
       result.(Param).getPat() = getAPatAncestor*(this.getPat())
     }
 
-    /** Hold is this variable is mutable. */
+    /** Holds if this variable is mutable. */
     predicate isMutable() { this.getPat().isMut() or this.getSelfParam().isMut() }
 
-    /** Hold is this variable is immutable. */
+    /** Holds if this variable is immutable. */
     predicate isImmutable() { not this.isMutable() }
   }
 
diff --git a/shared/namebinding/codeql/namebinding/LocalNameBinding.qll b/shared/namebinding/codeql/namebinding/LocalNameBinding.qll
index 55f4fa13ba1..298f498e331 100644
--- a/shared/namebinding/codeql/namebinding/LocalNameBinding.qll
+++ b/shared/namebinding/codeql/namebinding/LocalNameBinding.qll
@@ -132,7 +132,7 @@ signature module LocalNameBindingInputSig<LocationSig Location> {
    *
    * If `scope` declares a local with the name of `n`, then `scope` is guaranteed
    * to be the scope that `n` ultimately resolves to. This can thus be used to take
-   * full control of scope resolution for for specific types of references.
+   * full control of scope resolution for specific types of references.
    */
   default predicate lookupStartsAt(AstNode n, AstNode scope) { none() }
 }