diff --git a/Documentation/user/system-setup.rst b/Documentation/user/system-setup.rst
index 683da9e6b..7e4a7669a 100644
--- a/Documentation/user/system-setup.rst
+++ b/Documentation/user/system-setup.rst
@@ -29,7 +29,7 @@ A good alternative terminal program is microcom. On Debian it can be installed
 with ``apt-get install microcom``, on other distributions it can be installed
 from source:
 
-http://git.pengutronix.de/?p=tools/microcom;a=summary
+http://git.pengutronix.de/?p=tools/microcom.git;a=summary
 
 Usage is simple::