diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
index f562f7ad..aacb7d3a 100644
--- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
+++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
@@ -200,7 +200,7 @@ global bn_double:
     %jump(bn_add_equal_points)
 
 // Check if (x,y) is a valid curve point.
-// Returns range & curve || is_identity
+// Returns (range & curve) || is_identity
 // where
 //     range = (x < N) & (y < N) 
 //     curve = y^2 == (x^3 + 3) 
diff --git a/evm/src/witness/util.rs b/evm/src/witness/util.rs
index 5c36b529..a5ebf2ac 100644
--- a/evm/src/witness/util.rs
+++ b/evm/src/witness/util.rs
@@ -39,7 +39,7 @@ pub(crate) fn stack_peek<F: Field>(state: &GenerationState<F>, i: usize) -> Opti
     )))
 }
 
-/// Peek at the SEGMENT_KERNEL_BN_PAIRING item at address `i`
+/// Peek at kernel at specified segment and address
 pub(crate) fn kernel_peek<F: Field>(
     state: &GenerationState<F>,
     segment: Segment,