diff --git a/js/non-mini.js b/js/non-mini.js
index a51389eb59..580dec0351 100644
--- a/js/non-mini.js
+++ b/js/non-mini.js
@@ -43,4 +43,4 @@ $(document).ready(function(){
   var result = $('<ul style="list-style-type: none; padding-left:0px;">');
   buildRec(headingNodes,result,1);
   $("#pageTOC").append(result);
-});
+});
\ No newline at end of file