diff --git a/doc/development.rst b/doc/development.rst
index f72cea08b18593ab87a9133c27e79715948f47a0..87211383abde8bf37a9722025ff9a32e4844f1a7 100644
--- a/doc/development.rst
+++ b/doc/development.rst
@@ -1,4 +1,4 @@
-.. _bob.extension.development:
+.. _bob.devtools.development:
 
 =========================================
  Local development of |project| packages