diff --git a/certora/README.md b/certora/README.md
index e70b7c2..bb27434 100644
--- a/certora/README.md
+++ b/certora/README.md
@@ -1,6 +1,6 @@
 # How to run Certora Prover
 
-1. Get certora key by fillin in the form on [Certora's website](https://www.certora.com/signup?plan=prover). YOu sghould get an email with the key and all necessary instructions.
+1. Get certora key by filling in the form on [Certora's website](https://www.certora.com/signup?plan=prover). You should get an email with the key and all necessary instructions.
 2. Make sure to install everything that is mentioned in [instructions](https://www.certora.com/signup?plan=prover).
 3. To run the spec use the following command in your terminal from the root of your project:
 ```