diff --git a/INSTALL.md b/INSTALL.md
index 4019df4bb..bf1f7bfe2 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -38,11 +38,13 @@ Then, to build the libraries using this generated compiler, again using your
 local variant for `chez`.
 
 * `make libs SCHEME=chez`
-* `make install`SCHEME=chez
+* `make install SCHEME=chez`
 
-Make sure `$PREFIX/bin` is in your `PATH`. Then, go to the Self-hosting step
-below, but you'll also need to add `SCHEME=chez` (with the appropriate name
-for `chez`) so that the bootstrapping script knows where to look.  That is:
+At this point, check that `$PREFIX/bin` is in your `PATH`.
+
+Then, go to the Self-hosting step below, but you'll also need to add
+`SCHEME=chez` (with the appropriate name for `chez`) so that the bootstrapping
+script knows where to look.  That is:
 
 * `rm -rf build` -- clean the build artefacts
 * `make all IDRIS2_BOOT=idris2sh SCHEME=chez
diff --git a/README.md b/README.md
index cae0c730a..a868d9fd8 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,15 @@
 Self-hosted Idris 2
 -------------------
 
+It finally happened!
+
 See `INSTALL.md` for installation instructions.
 
 There are no guarantees: This repository might move or be renamed or deleted or
 anything at no notice.  It will eventually turn into the real Idris 2
 repository, one way or another.
+
+There's still a couple of bits and pieces that don't work (IDE mode related)
+but I will get to them shortly.
+
+Good luck :)