diff --git a/README.md b/README.md
index 3b22c6c..184a211 100644
--- a/README.md
+++ b/README.md
@@ -84,8 +84,7 @@ a Scheme input which is already in ANF, so the desugaring for that is done on th
 
 ## CEKF Formal Description
 
-The formal mathematical presentation of the CEKF state machine is described
-[here](docs/MATH.md).
+A formal mathematical description of the CEKF machine can be found [here](docs/MATH.md).
 
 ## Bytecode