diff --git a/index.html b/index.html
index e2bb4dc411896730c545db94a0ebb51611a33ce8..a815a6d67c2398137d28cf7a4399ab6570c06923 100644
--- a/index.html
+++ b/index.html
@@ -4,13 +4,13 @@
   <meta charset="utf-8">
   <title>Redirecting</title>
   <noscript>
-    <meta http-equiv="refresh" content="1; url=latest/" />
+    <meta http-equiv="refresh" content="1; url=1.3/" />
   </noscript>
   <script>
-    window.location.replace("latest/" + window.location.hash);
+    window.location.replace("1.3/" + window.location.hash);
   </script>
 </head>
 <body>
-  Redirecting to <a href="latest/">latest/</a>...
+  Redirecting to <a href="1.3/">1.3/</a>...
 </body>
 </html>
\ No newline at end of file