diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index 83e4b807dc..18acb23fa4 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -4115,8 +4115,8 @@
             <title>Launch GDB on the Host Computer</title>
 
             <para>
-                Running GDB on the host computer takes a number of stages.
-                This section describes those stages.
+                Running GDB on the host computer takes a number of stages, which
+                this section describes.
             </para>
 
             <section id="platdev-gdb-remotedebug-launch-gdb-buildcross">