diff --git a/emacs/.emacs.d/prot-emacs-modules/prot-emacs-ef-themes.el b/emacs/.emacs.d/prot-emacs-modules/prot-emacs-ef-themes.el
index cbcb4774..f3354919 100644
--- a/emacs/.emacs.d/prot-emacs-modules/prot-emacs-ef-themes.el
+++ b/emacs/.emacs.d/prot-emacs-modules/prot-emacs-ef-themes.el
@@ -11,7 +11,7 @@
   :config
   (setq ef-themes-variable-pitch-ui t
         ef-themes-mixed-fonts t
-        ef-themes-rotate ef-themes-items
+        ef-themes-to-rotate ef-themes-items
         ef-themes-headings ; read the manual's entry of the doc string
         '((0 . (variable-pitch light 1.9))
           (1 . (variable-pitch light 1.8))
diff --git a/emacs/.emacs.d/prot-emacs.org b/emacs/.emacs.d/prot-emacs.org
index 173634c0..5dbdde59 100644
--- a/emacs/.emacs.d/prot-emacs.org
+++ b/emacs/.emacs.d/prot-emacs.org
@@ -1479,7 +1479,7 @@ Note that the ~prot-emacs-comment~ is there for my testing purposes
   :config
   (setq ef-themes-variable-pitch-ui t
         ef-themes-mixed-fonts t
-        ef-themes-rotate ef-themes-items
+        ef-themes-to-rotate ef-themes-items
         ef-themes-headings ; read the manual's entry of the doc string
         '((0 . (variable-pitch light 1.9))
           (1 . (variable-pitch light 1.8))