diff --git a/frontend-js/src/main/js/gui/topMenu/TopMenu.js b/frontend-js/src/main/js/gui/topMenu/TopMenu.js
index e14b2a24026f2603d2563e63bf1025b75a12be81..84bd3d05aebd139fed300a3213f126ad416e5931 100644
--- a/frontend-js/src/main/js/gui/topMenu/TopMenu.js
+++ b/frontend-js/src/main/js/gui/topMenu/TopMenu.js
@@ -166,9 +166,9 @@ TopMenu.prototype.init = function () {
   commentCheckbox.onclick = function () {
     ServerConnector.getSessionData(project).setShowComments(commentCheckbox.checked);
     if (commentCheckbox.checked) {
-      refreshCommentButton.style.display = 'inline';
+      $(refreshCommentButton).css("display","inline");
     } else {
-      refreshCommentButton.style.display = 'none';
+      $(refreshCommentButton).css("display","none");
     }
     return self.getMap().refreshComments().then(null, GuiConnector.alert);
   };
@@ -195,7 +195,7 @@ TopMenu.prototype.init = function () {
     showOverviewButton.onclick = function () {
       return self._overviewDialog.showOverview();
     };
-    showOverviewButton.style.display = "";
+    $(showOverviewButton).css("display","inline-block");
   }
 
   if (ServerConnector.getSessionData().getShowComments()) {