From 4a13ab4f6b95eb8480d72f46f78c29020acdfbc1 Mon Sep 17 00:00:00 2001
From: therealyingtong <yingtong@z.cash>
Date: Mon, 27 Sep 2021 23:19:06 +0200
Subject: [PATCH] Docfixes.

Co-authored-by: Daira Hopwood <daira@jacaranda.org>
---
 src/circuit/gadget/ecc.rs      | 3 +++
 src/circuit/gadget/ecc/chip.rs | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

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);