diff --git a/sphinx/index.rst b/sphinx/index.rst
index 168412fc..ffbfe3a8 100644
--- a/sphinx/index.rst
+++ b/sphinx/index.rst
@@ -9,6 +9,7 @@ Gillian is a multi-language analysis platform supporting, e.g., verification and
    install
    develop
    debugger
+   API reference </odoc#http://>
 
 .. toctree::
    :titlesonly:
@@ -23,7 +24,6 @@ Gillian is a multi-language analysis platform supporting, e.g., verification and
    :titlesonly:
    :caption: About Gillian
 
-   API reference </odoc#http://>
    publications/index
    other-publications/index
    license