diff --git a/doc/index.rst b/doc/index.rst
index a8186b9093d31ca4135b80d0cf926b58209c7e8c..4615689355ed9cc9b51d08476026a832196365b7 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -15,7 +15,6 @@ Contents:
    gettingstarted
    installation
    tutorial
-   faq
    purescala
    library
    xlang
@@ -24,6 +23,7 @@ Contents:
    synthesis
    repair
    options
+   faq
    references