diff --git a/src/circuit/gadget/ecc.rs b/src/circuit/gadget/ecc.rs
index 16e70d45..90d712db 100644
--- a/src/circuit/gadget/ecc.rs
+++ b/src/circuit/gadget/ecc.rs
@@ -230,6 +230,9 @@ impl<C: CurveAffine, EccChip: EccInstructions<C> + Clone + Debug + Eq>
     }
 
     /// Returns `self + other` using incomplete addition.
+    /// The arguments are type-constrained not to be the identity point,
+    /// and since exceptional cases return an Error, the result also cannot
+    /// be the identity point.
     pub fn add_incomplete(
         &self,
         mut layouter: impl Layouter<C::Base>,
diff --git a/src/circuit/gadget/ecc/chip.rs b/src/circuit/gadget/ecc/chip.rs
index 901a84a2..b06e062d 100644
--- a/src/circuit/gadget/ecc/chip.rs
+++ b/src/circuit/gadget/ecc/chip.rs
@@ -283,7 +283,7 @@ impl EccChip {
             running_sum_config,
         };
 
-        // Create witness point gates
+        // Create witness point gate
         {
             let config: witness_point::Config = (&config).into();
             config.create_gate(meta);