2 files changed, 1 insertions, 1 deletions
diff --git a/FAQ b/FAQ.md
index 0bc70b05..0bc70b05 100644
--- a/FAQ
+++ b/FAQ.md
diff --git a/README.md b/README.md
index 1d0091ba..52fd5d43 100644
--- a/README.md
+++ b/README.md
@@ -38,7 +38,7 @@ See:
 * [INSTALL](INSTALL) for installation details
 * [COPYING](COPYING) for license details
 * [COMPATIBILITY](COMPATIBILITY) for version compatibility information
-* [FAQ](FAQ) for frequently asked questions
+* [FAQ.md](FAQ.md) for frequently asked questions
 * [coq/README](coq/README) for additional notes specific to the Coq prover
 
 Links: