diff --git a/Docs/extra.js b/Docs/extra.js
index 1ca979e95..58e37b47e 100644
--- a/Docs/extra.js
+++ b/Docs/extra.js
@@ -1,10 +1,9 @@
 $(document).ready(function () {
-    if(window.location.href.indexOf("latest") != -1) {
+    if(window.location.href.indexOf("/latest/") != -1) {
         var banner = document.createElement("div");
+        var section = document.getElementsByClassName("section");
         banner.className = "dev-version-warning";
         banner.innerHTML = "You are currently reading documentation for the \"dev\" branch of CARLA. This documentation refers to features currently in development and may result in unexpected behaviour. To read documentation for previous releases, select the desired version in the bottom, right-hand corner of the screen.";
-        var x = document.getElementsByClassName("section");
-        console.log(x)
-        x[0].insertBefore(banner,x[0].childNodes[0]);
+        section[0].insertBefore(banner,section[0].childNodes[0]);
     }
 });
\ No newline at end of file