diff --git a/programs/server/play.html b/programs/server/play.html
index ac209a75414..81fc13f1f86 100644
--- a/programs/server/play.html
+++ b/programs/server/play.html
@@ -427,7 +427,7 @@
     document.onkeydown = function(event)
     {
         /// Firefox has code 13 for Enter and Chromium has code 10.
-        if ((event.metaKey || event.ctrlKey) && (event.keyCode == 13 || event.keyCode == 10) ) {
+        if ((event.metaKey || event.ctrlKey) && (event.keyCode == 13 || event.keyCode == 10)) {
             post();
         }
     }