diff --git a/docs/README.rst b/docs/README.rst
index 6c28b8a3c..04a29eda3 100644
--- a/docs/README.rst
+++ b/docs/README.rst
@@ -3,7 +3,7 @@ Building documentation locally
 ******************************
 
 The documentation is available online at `doc.tzalpha.net <http://doc.tzalpha.net/>`_,
-always up to date with master on `Gitlab <https://gitlab.com/tezos/tezos>`_.
+always up to date with master on `GitLab <https://gitlab.com/tezos/tezos>`_.
 
 Building instructions
 ---------------------
diff --git a/docs/index.rst b/docs/index.rst
index 88c5dcb61..f2e40d37a 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -14,8 +14,8 @@ protocol and the nodes should adapt and upgrade.
 
  - Developer documentation is available online at http://doc.tzalpha.net
  - The page https://www.tezos.com/ contains more information about the
-   project, even though it is frozen in time due to external reasons
- - All development now happens on Gitlab at https://gitlab.com/tezos/tezos
+   project.
+ - All development now happens on GitLab at https://gitlab.com/tezos/tezos
 
 The Tezos Alpha (test) network has been live and open since February 2017.
 
diff --git a/docs/introduction/alphanet.rst b/docs/introduction/alphanet.rst
index d4d2eb941..dea89b91b 100644
--- a/docs/introduction/alphanet.rst
+++ b/docs/introduction/alphanet.rst
@@ -6,9 +6,10 @@ Participating in the Alphanet
 Welcome to the Tezos alphanet, which is a pre-release network for the
 Tezos blockchain. Currently, the chain is reset every few weeks.
 
-For news and support about the alphanet, please join IRC (``#tezos`` on
-freenode). Please, report bugs related to the alphanet on the IRC
-channel before filling Github issues.
+For news and support about the alphanet, please join IRC (*#tezos*
+on freenode). Please, report bugs related to the alphanet on the IRC
+channel before filling `GitLab issues
+<https://gitlab.com/tezos/tezos/issues>`_.
 
 For more information about the project in general, see: