diff --git a/inc/bearssl_ec.h b/inc/bearssl_ec.h
index f954309..acd3a2b 100644
--- a/inc/bearssl_ec.h
+++ b/inc/bearssl_ec.h
@@ -108,7 +108,7 @@ extern "C" {
  *
  *   - The multipliers (integers) MUST be lower than the subgroup order.
  *     If this property is not met, then the result is indeterminate,
- *     but an error value is not ncessearily returned.
+ *     but an error value is not necessarily returned.
  * 
  *
  * ## ECDSA
diff --git a/src/ec/ec_c25519_m64.c b/src/ec/ec_c25519_m64.c
index 7e7f12f..df48834 100644
--- a/src/ec/ec_c25519_m64.c
+++ b/src/ec/ec_c25519_m64.c
@@ -158,10 +158,6 @@ f255_add(uint64_t *d, const uint64_t *a, const uint64_t *b)
 
 /*
  * Subtraction.
- * On input, limbs must fit on 60 bits each. On output, result is
- * partially reduced, with max value 2^255+19456; moreover, all
- * limbs will fit on 51 bits, except the low limb, which may have
- * value up to 2^51+19455.
  */
 static inline void
 f255_sub(uint64_t *d, const uint64_t *a, const uint64_t *b)