Fix typographical errors and update broken link

README.md

@@ -153,7 +153,7 @@ Lastly, this library is instrumented with profiling infrastructure that prints d
 
 ## Usage
 
-### [`PolynomialCommitment`](https://github.com/arkworks-rs/poly-commit/blob/master/src/lib.rs#L145)
+### [`PolynomialCommitment`](https://github.com/arkworks-rs/poly-commit/blob/master/poly-commit/src/lib.rs#L145)
 
 This trait defines the interface for a polynomial commitment scheme. It is recommended to use the schemes from this crate that implement the `PolynomialCommitment` trait
 (e.g. the [vanilla KZG scheme](./src/kzg10/mod.rs) does not implement this trait, but the [Marlin scheme](./src/marlin/mod.rs) which uses it under the hood, does).

poly-commit/src/constraints.rs

@@ -49,7 +49,7 @@ pub enum LinearCombinationCoeffVar<TargetField: PrimeField, BaseField: PrimeFiel
     One,
     /// Coefficient -1.
     MinusOne,
-    /// Other coefficient, represented as a "emulated" field element.
+    /// Other coefficient, represented as an "emulated" field element.
     Var(EmulatedFpVar<TargetField, BaseField>),
 }
 

poly-commit/src/error.rs

@@ -156,7 +156,7 @@ impl core::fmt::Display for Error {
                 label
             ),
             Error::MissingLHS { label } => {
-                write!(f, "Equation \"{}\" does not have a LHS.", label)
+                write!(f, "Equation \"{}\" does not have an LHS.", label)
             },
             Error::MissingRng => write!(f, "hiding commitments require `Some(rng)`"),
             Error::DegreeIsZero => write!(