diff --git a/UI/WebServerResources/HTMLElement.js b/UI/WebServerResources/HTMLElement.js
index a5f7a4315..1426697b1 100644
--- a/UI/WebServerResources/HTMLElement.js
+++ b/UI/WebServerResources/HTMLElement.js
@@ -177,7 +177,7 @@ Element.addMethods({
     element.removeClassName('_selected');
   },
 
-  deselectAll: function (element) {
+  deselectAll: function(element) {
     element = $(element);
     for (var i = 0; i < element.childNodes.length; i++) {
       var node = element.childNodes.item(i);