diff --git a/static/js/ace2_common.js b/static/js/ace2_common.js
index 184785863..de2fede1c 100644
--- a/static/js/ace2_common.js
+++ b/static/js/ace2_common.js
@@ -76,10 +76,13 @@ function isArray(testObject)
 
 if (typeof exports !== "undefined")
 {
-  var navigator = {userAgent: "node-js"};
+  userAgent = "node-js";
+}
+else
+{
+  userAgent = navigator.userAgent.toLowerCase();
 }
 // Figure out what browser is being used (stolen from jquery 1.2.1)
-userAgent = navigator.userAgent.toLowerCase();
 var browser = {
   version: (userAgent.match(/.+(?:rv|it|ra|ie)[\/: ]([\d.]+)/) || [])[1],
   safari: /webkit/.test(userAgent),