diff --git a/doc/index.rst b/doc/index.rst
index 24a879e56..e8b6973d2 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -312,7 +312,7 @@ Or mixed:
 
 ::
 
-  DOWNSTREAM_WORKSPACE="github:ros-simulation/gazebo_ros_pkgs@melodic-devel https://raw.githubusercontent.com/ros-controls/ros_control/melodic-devel/ros_control.rosinstall -ros_control additional.repos"
+  DOWNSTREAM_WORKSPACE="github:ros-simulation/gazebo_ros_pkgs#melodic-devel https://raw.githubusercontent.com/ros-controls/ros_control/melodic-devel/ros_control.rosinstall -ros_control additional.repos"
 
 To depend on a different repository of a private server using git and the SSH protocol:
 ::