Typo fixes

Co-authored-by: Ralf Jung <post@ralfj.de>

diff --git a/README.md b/README.md
index 49a0c3c1f507a65494e85163d0b062e3bec7d731..aa016fc079345d923da56e935099f69bb3ba6827 100644 (file)
--- a/README.md
+++ b/README.md
@@ -59,8 +59,8 @@ in your program, and cannot run all programs:
   has no access to most platform-specific APIs or FFI. A few APIs have been
   implemented (such as printing to stdout) but most have not: for example, Miri
   currently does not support SIMD or networking.
-* Threading support is not finished yet. E.g. weak memory effects are not
-  emulated and spin loops (without syscalls) just loop forever. There's no
+* Threading support is not finished yet. E.g., weak memory effects are not
+  emulated and spin loops (without syscalls) just loop forever. There is no
   threading support on Windows.
 
 Consider looking into GitHub isues for more information about the limitations.