diff --git a/documentation/dev-manual/dev-manual-newbie.xml b/documentation/dev-manual/dev-manual-newbie.xml
index dc706dd8ff..acb4731282 100644
--- a/documentation/dev-manual/dev-manual-newbie.xml
+++ b/documentation/dev-manual/dev-manual-newbie.xml
@@ -613,7 +613,7 @@
 
         <para>
             If you have a just a few changes you can commit them and then submit them as an email to the maintainer.
-            Here is the general procedure:
+            Here is a general procedure:
         <itemizedlist>
             <listitem><para>Make your changes in your local Git repository.</para></listitem>
             <listitem><para>Stage your commit (or change) by using the <filename>git add</filename>