diff --git a/docs/docs/main_menu.xml b/docs/docs/main_menu.xml
index 7aa438cf7..3e7483b9f 100644
--- a/docs/docs/main_menu.xml
+++ b/docs/docs/main_menu.xml
@@ -301,7 +301,7 @@
             </item>
             <item>
                <name>Known Users</name>
-               <link>https://sourceforge.net/apps/mediawiki/dclib/index.php?title=Known_users</link>
+               <link>http://sourceforge.net/apps/mediawiki/dclib/index.php?title=Known_users</link>
             </item>
          </section>