diff --git a/examples/README.md b/examples/README.md
index b33d834aa..718e5f377 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -54,7 +54,7 @@ where:
 
 * **sequence length** is the term of the Fibonacci sequence to compute. Currently, this must be a power of 2. The default is 1,048,576 (same as 2<sup>20</sup>).
 
-For example, the following command will generate and very a proof for computing a Fibonacci sequence up to 1024th term.
+For example, the following command will generate and verify a proof for computing a Fibonacci sequence up to 1024th term.
 ```
 ./target/release/winterfell fib -n 1024 
 ```
@@ -120,4 +120,4 @@ This example also illustrates how an execution trace can be built using multiple
 License
 -------
 
-This project is [MIT licensed](../LICENSE).
\ No newline at end of file
+This project is [MIT licensed](../LICENSE).