diff --git a/documentation/dev-manual/dev-manual-model.xml b/documentation/dev-manual/dev-manual-model.xml
index 838fc58922..ff44a3f68b 100644
--- a/documentation/dev-manual/dev-manual-model.xml
+++ b/documentation/dev-manual/dev-manual-model.xml
@@ -632,7 +632,7 @@
         </para>
 
         <para>
-            Three entry points exist that allow you develop using
+            Three entry points exist that allow you to develop using
             <filename>devtool</filename>:
             <itemizedlist>
                 <listitem><para><emphasis><filename>devtool add</filename></emphasis>