diff --git a/docs/source/coredev/index.rst b/docs/source/coredev/index.rst
index 106d2dd..5cb5b17 100644
--- a/docs/source/coredev/index.rst
+++ b/docs/source/coredev/index.rst
@@ -34,7 +34,7 @@ backport to.
 
 .. note::
 
-    The ``@`` and ``[dev]`` when mentioning the bot should be optional and can
+    The ``@`` and ``[bot]`` when mentioning the bot should be optional and can
     be omitted.
 
 If the pull request cannot be automatically backported, the bot should tell you
@@ -44,7 +44,7 @@ so on the PR and apply a "Need manual backport" tag to the origin PR.
 Backport with ghpro
 -------------------
 
-We can also use `ghpro <https://pypi.python.org/pypi/ghpro>`
+We can also use `ghpro <https://pypi.python.org/pypi/ghpro>`_
 to automatically list and apply the PR on other branches. For example:
 
 .. code-block:: bash