diff --git a/infer/src/backend/README.md b/infer/src/backend/README.md
index 4f8fb0ce8..389756202 100644
--- a/infer/src/backend/README.md
+++ b/infer/src/backend/README.md
@@ -2,6 +2,8 @@
 
 The back end is responsible for the analysis of a project starting from an intermediate representation stored in the results directory, typically `infer-out`.
 
-The main entry point is module [InferAnalyze](InferAnalyze.re).
+The main entry point for infer binary is [infer.ml](infer.ml).
 
-Module [InferPrint](InferPrint.re) is used to export the analysis results.
+Entry point for the analysis is module [InferAnalyze](InferAnalyze.ml).
+
+Module [InferPrint](InferPrint.ml) is used to export the analysis results.
diff --git a/infer/src/clang/README.md b/infer/src/clang/README.md
index 67aced4a2..3d533937e 100644
--- a/infer/src/clang/README.md
+++ b/infer/src/clang/README.md
@@ -2,4 +2,4 @@
 
 This is the front-end for the clang compiler.
 
-The main entry point is [CMain](cmain.ml).
\ No newline at end of file
+The main entry point is [CFrontend](cFrontend.ml).