diff --git a/emacs/.emacs.d/prot-emacs-modules/prot-emacs-theme.el b/emacs/.emacs.d/prot-emacs-modules/prot-emacs-theme.el
index a468917f..d582a98b 100644
--- a/emacs/.emacs.d/prot-emacs-modules/prot-emacs-theme.el
+++ b/emacs/.emacs.d/prot-emacs-modules/prot-emacs-theme.el
@@ -70,8 +70,11 @@
            :left-fringe-width 20
            :right-fringe-width 20))
 
-  ;; Read the doc string of `spacious-padding-subtle-mode-line' as
-  ;; it is very flexible.
+  ;; (setq spacious-padding-subtle-mode-line nil)
+
+  ;; Read the doc string of `spacious-padding-subtle-mode-line' as it
+  ;; is very flexible.  Here we make the mode lines be a single
+  ;; overline.
   (setq spacious-padding-subtle-mode-line
         '( :mode-line-active spacious-padding-subtle-mode-line-active
            :mode-line-inactive spacious-padding-subtle-mode-line-inactive)))
diff --git a/emacs/.emacs.d/prot-emacs.org b/emacs/.emacs.d/prot-emacs.org
index 38474f09..f8d73f64 100644
--- a/emacs/.emacs.d/prot-emacs.org
+++ b/emacs/.emacs.d/prot-emacs.org
@@ -1827,8 +1827,11 @@ I also take care to make it work with my customised mode line
            :left-fringe-width 20
            :right-fringe-width 20))
 
-  ;; Read the doc string of `spacious-padding-subtle-mode-line' as
-  ;; it is very flexible.
+  ;; (setq spacious-padding-subtle-mode-line nil)
+
+  ;; Read the doc string of `spacious-padding-subtle-mode-line' as it
+  ;; is very flexible.  Here we make the mode lines be a single
+  ;; overline.
   (setq spacious-padding-subtle-mode-line
         '( :mode-line-active spacious-padding-subtle-mode-line-active
            :mode-line-inactive spacious-padding-subtle-mode-line-inactive)))