diff --git a/developer_manual/core/index.rst b/developer_manual/core/index.rst
index d7031c5ff..d287612f4 100644
--- a/developer_manual/core/index.rst
+++ b/developer_manual/core/index.rst
@@ -1,8 +1,8 @@
 .. _coreindex:
 
-=================
-Core development
-=================
+==================
+Server development
+==================
 
 Please make sure you have set up a :ref:`devenv`.