diff --git a/README.md b/README.md
index 65375f6..d647db1 100644
--- a/README.md
+++ b/README.md
@@ -9,6 +9,14 @@ To run tests, run:
 cargo test
 ```
 
+## References
+[Nova: Recursive Zero-Knowledge Arguments from Folding Schemes](https://eprint.iacr.org/2021/370) \
+Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla \
+Cryptology ePrint Archive: Report 2021/370
+
+## Acknowledgements
+v0.1.0 includes code written by: Abhiram Kothapalli, Srinath Setty, and Ioanna Tzialla.
+
 ## Contributing
 
 This project welcomes contributions and suggestions.  Most contributions require you to agree to a
diff --git a/src/lib.rs b/src/lib.rs
index 478ce95..6a7f004 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -91,7 +91,7 @@ impl StepSNARK {
     // fold the instance using `r` and `comm_T`
     let U = U1.fold(U2, &self.comm_T, &r)?;
 
-    // return the folded instance and witness
+    // return the folded instance
     Ok(U)
   }
 }
diff --git a/src/r1cs.rs b/src/r1cs.rs
index 39aaf29..ec0c9b1 100644
--- a/src/r1cs.rs
+++ b/src/r1cs.rs
@@ -218,9 +218,9 @@ impl R1CSShape {
       .map(|(((a, b), c), d)| a + b - c - d)
       .collect::<Vec<Scalar>>();
 
-    let T_commit = T.commit(&gens.gens_E).compress();
+    let comm_T = T.commit(&gens.gens_E).compress();
 
-    Ok((T, T_commit))
+    Ok((T, comm_T))
   }
 }