diff --git a/INSTALL.md b/INSTALL.md
index 7ba701b87..899f3a422 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -19,6 +19,7 @@ release](http://fbinfer.com/docs/getting-started.html) (faster), or to
 compile everything from source (see the end of this document).
 
 - opam >= 1.2.0 (instructions [here](https://opam.ocaml.org/doc/Install.html#OSX))
+- reason >= 0.0.5 ([installation](https://github.com/facebook/reason/blob/master/README.md))
 - Python 2.7
 - Java (only needed for the Java analysis)
 - clang in Xcode command line tools. You can install them with the command
diff --git a/infer/src/IR/README.md b/infer/src/IR/README.md
index ac447734d..3a6acabea 100644
--- a/infer/src/IR/README.md
+++ b/infer/src/IR/README.md
@@ -2,11 +2,11 @@
 
 The Intermediate Representation is a format used by the back-end for analysis. It is produced by one of the front-ends, one for each program analyzed.
 
-The main entry point is the intermediate language in [Sil](sil.rei).
+The main entry point is the intermediate language in [Sil](Sil.rei).
 
-The control flow graph module is [Cfg](cfg.rei).
+The control flow graph module is [Cfg](Cfg.rei).
 
-The call graph module is [Cg](cg.rei).
+The call graph module is [Cg](Cg.rei).
 
-The type environment module is [Tenv](tenv.rei).
+The type environment module is [Tenv](Tenv.rei).