diff --git a/common/content/commandline.js b/common/content/commandline.js
index 85bbdccd..557f8f55 100644
--- a/common/content/commandline.js
+++ b/common/content/commandline.js
@@ -52,7 +52,7 @@ const CommandWidgets = Class("CommandWidgets", {
                 if (!elem.collapsed)
                     elem.focus();
             },
-            onVisibility: function (elem, visible) { visible && elem.focus() }
+            onVisibility: function (elem, visible) { visible && elem.focus(); }
         });
         this.addElement({
             name: "prompt",