diff --git a/html/index.php b/html/index.php
index 8342d2b..92477b8 100644
--- a/html/index.php
+++ b/html/index.php
@@ -245,7 +245,12 @@ if (isset($_POST['xd_check'])){
 <body>
   <header>
     <h1><?php echo $siteTitle; ?></h1>
-      <nav id="languages"><a href="<?php echo $currentArena; ?>-fr">fr</a>&nbsp;<a href="<?php echo $currentArena; ?>-en">en</a></nav>
+      <?php
+	if(isset($_GET['doc'])){
+	    echo '<nav id="languages"><a href="/'.$currentArena.'/doc-fr">fr</a>&nbsp;<a href="/'.$currentArena.'/doc-en">en</a></nav>';
+	 }else{
+	    echo '<nav id="languages"><a href="/'. $currentArena.'-fr">fr</a>&nbsp;<a href="/'.$currentArena.'-en">en</a></nav>';
+	 }
       <nav id="menus"><a href="/"<?php if(($currentArena == "") && (!isset($_GET['doc']))) echo ' class="selected"'; ?>><?php echo $lang['HOME']; ?></a>
       <?php
 
