diff --git a/doc/contrib/doc.rst b/doc/contrib/doc.rst
index 237e9059f2acf7d8cbc2430e4ab02bff61160ac1..a567ba450b860bc4e8e81e6277893a1254ffed49 100644
--- a/doc/contrib/doc.rst
+++ b/doc/contrib/doc.rst
@@ -23,7 +23,7 @@ Update policy
 
 How to we decide if documentation is good? By observing how effective it is used
 in practice. If a question on Arbor (regardless of medium) is satisfactorily
-resolved (on both sides!) by with a pointer to the (relevant section in the) docs,
+resolved (on both sides!) with a pointer to the (relevant section in the) docs,
 the documentation was good. If, on the other hand, explanation was needed, the
 documentation was bad.