diff --git a/docs/internals/contributing/writing-documentation.txt b/docs/internals/contributing/writing-documentation.txt
index 7943dc173d..4783d2eef7 100644
--- a/docs/internals/contributing/writing-documentation.txt
+++ b/docs/internals/contributing/writing-documentation.txt
@@ -538,7 +538,8 @@ file and line number where they occur will be saved to
 If you encounter false-positives (error output that actually is correct), do
 one of the following:
 
-* Surround inline code or brand/technology names with grave accents (`).
+* Surround inline code or brand/technology names with double grave accents
+  (``).
 * Find synonyms that the spell checker recognizes.
 * If, and only if, you are sure the word you are using is correct - add it
   to ``docs/spelling_wordlist`` (please keep the list in alphabetical order).