diff --git a/js/prefs.js b/js/prefs.js
index e308bbfd..0453314a 100644
--- a/js/prefs.js
+++ b/js/prefs.js
@@ -25,7 +25,7 @@ var prefs = new function Prefs() {
     'manage.newUI.targets': 3,      // max number of applies-to targets visible: 0 = none
 
     'editor.options': {},           // CodeMirror.defaults.*
-    'editor.options.expanded': true,// UI element state: expanded/collapsed
+    'editor.options.expanded': true, // UI element state: expanded/collapsed
     'editor.lineWrapping': true,    // word wrap
     'editor.smartIndent': true,     // 'smart' indent
     'editor.indentWithTabs': false, // smart indent with tabs