Improve formatting

1 files changed, 2 insertions, 2 deletions

diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js
index 8413f939706..22c9426db20 100644
--- a/src/librustdoc/html/static/main.js
+++ b/src/librustdoc/html/static/main.js
@@ -57,7 +57,6 @@ function defocusSearchBar() {
     getSearchInput().blur();
 }
 
-
 (function() {
     "use strict";
 
@@ -494,7 +493,8 @@ function defocusSearchBar() {
                     url = url.substring(0, url.length - match[0].length);
                 }
 
-                url += "/" + document.getElementsByClassName("version-selector")[0].value + stripped;
+                var selectedVersion = document.getElementsByClassName("version-selector")[0].value;
+                url += "/" + selectedVersion + stripped;
 
                 document.location.href = url;
             };