diff --git a/README.md b/README.md
index 0825b2b08d303647101220497053a4e5c522af55..efbe8a2d75e0b51a5c3e76e8a15b1c7b78bbe361 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
 Partially borrow a struct.
-Multiple simultaenous mutable partial borrows are possible,
+Multiple simultaneous mutable partial borrows are possible,
 so long as each field is only mutably accessible
 via (at most) one of them.
 
@@ -127,7 +127,7 @@ The library currently relies on integer/pointer conversions,
 "exposing" its pointers, so as to be able to recreate references
 with appropriate provenance.
 The integer conversions are necessary
-in lie of
+in lieu of
 a feature corresponding to
 [CHERI C/C++](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf#page=16)'s
 `__attribute__((cheri_no_subobject_bounds))`
@@ -136,10 +136,10 @@ or some other way to make a ZST reference without
 narrowing the provenance.
 As of Nightly 2022-06-24,
 the Rust Strict Provenance experiment
-does not provide such a feature at the Rust API,
+does not provide such a feature at the Rust API.
 
 Therefore, running MIRI requires setting
-`MIRIFLAGS+=' -Zmiri-permissive-provenance'`
+`MIRIFLAGS+=' -Zmiri-permissive-provenance'`.
 
 # Safety