diff --git a/doc/programming/index.rst b/doc/programming/index.rst
index 53c2119c..0510bbb3 100644
--- a/doc/programming/index.rst
+++ b/doc/programming/index.rst
@@ -99,8 +99,8 @@ provides an example for this.
 
 .. _inBuild:
 
-Building MuJoCo from source
-~~~~~~~~~~~~~~~~~~~~~~~~~~~
+Building from source
+~~~~~~~~~~~~~~~~~~~~
 
 To build MuJoCo from source, you will need CMake and a working C++17 compiler installed. The steps are: