diff --git a/doc/devel/coding_guide.rst b/doc/devel/coding_guide.rst
index 963845cd4a4b..8ac786e7c031 100644
--- a/doc/devel/coding_guide.rst
+++ b/doc/devel/coding_guide.rst
@@ -80,7 +80,7 @@ Organizational topics:
 * Tag with descriptive :ref:`labels <pr-labels>`.
 * Set the :ref:`milestone <pr-milestones>`.
 * Keep an eye on the :ref:`number of commits <pr-squashing>`.
-* Approve if all of the above topics handled.
+* Approve if all of the above topics are handled.
 * :ref:`Merge  <pr-merging>` if a sufficient number of approvals is reached.
 
 .. _pr-guidelines-details: