diff --git a/README.md b/README.md
index 75d6e1dd..9ff527da 100644
--- a/README.md
+++ b/README.md
@@ -88,7 +88,7 @@ code lean-liquid
 For detailed instructions on how to work with Lean projects,
 see [this](https://leanprover-community.github.io/install/project.html). The script `scripts/get-cache.sh`
 in the folder `lean-liquid` will download the `olean` files created by our continuous integration. This
-will save you some time by not havig to do `leanproject build`.
+will save you some time by not having to do `leanproject build`.
 
 ### Reading the project