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.
   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.
   threading support on Windows.
 
 Consider looking into GitHub isues for more information about the limitations.