diff --git a/content/options.js b/content/options.js
index dd74a4b4..3cf08798 100644
--- a/content/options.js
+++ b/content/options.js
@@ -744,6 +744,10 @@ function Options() //{{{
                 let opt = parseOpt(filter, modifiers);
                 let option = opt.option;
 
+                commandline.highlight(0, 0, "SPELLCHECK");
+                if (!option) /* FIXME: Kludge. */
+                    commandline.highlight(0, name.length, "SPELLCHECK");
+
                 if (opt.get || opt.reset || !option || prefix)
                     return [0, []];