diff --git a/src/circuit/gadgets/constraints.rs b/src/circuit/gadgets/constraints.rs
index 2c9d8b43b6..b2fb3c1ba1 100644
--- a/src/circuit/gadgets/constraints.rs
+++ b/src/circuit/gadgets/constraints.rs
@@ -696,7 +696,7 @@ pub(crate) fn and_v<CS: ConstraintSystem<F>, F: PrimeField>(
     Ok(and)
 }
 
-/// This is a replication of Bellperson's original `and`, but receives a mutable
+/// This is a replication of Bellpepper's original `and`, but receives a mutable
 /// reference for the constraint system instead of a copy
 #[allow(dead_code)]
 pub(crate) fn and<CS: ConstraintSystem<F>, F: PrimeField>(
diff --git a/src/cli/mod.rs b/src/cli/mod.rs
index 2cba560a22..802eef6f7e 100644
--- a/src/cli/mod.rs
+++ b/src/cli/mod.rs
@@ -55,7 +55,7 @@ enum Command {
     Repl(ReplArgs),
     /// Verifies a Lurk proof
     Verify(VerifyArgs),
-    /// Instantiates a new circom gadget to interface with bellperson.
+    /// Instantiates a new circom gadget to interface with bellpepper.
     ///
     /// See `lurk circom --help` for more details
     #[command(verbatim_doc_comment)]
diff --git a/src/lem/circuit.rs b/src/lem/circuit.rs
index 70efc425b1..d0114eb1fe 100644
--- a/src/lem/circuit.rs
+++ b/src/lem/circuit.rs
@@ -1,6 +1,6 @@
 //! ## Constraint system for LEM
 //!
-//! This module implements the generation of bellperson constraints for LEM, such
+//! This module implements the generation of bellpepper constraints for LEM, such
 //! that it can be used with Nova folding to prove evaluations of Lurk expressions.
 //!
 //! ### "Concrete" and "virtual" paths