diff --git a/modules/lang/lean/config.el b/modules/lang/lean/config.el
index 3cff278d5..8b9f36848 100644
--- a/modules/lang/lean/config.el
+++ b/modules/lang/lean/config.el
@@ -29,8 +29,8 @@
 
 
 (use-package! company-lean
+  :when (featurep! :completion company)
+  :after lean-mode
   :init
   (advice-add #'company-lean-hook :override #'ignore)
-  (set-company-backend! 'lean-mode 'company-lean)
-  :when (featurep! :completion company)
-  :after lean-mode)
+  (set-company-backend! 'lean-mode 'company-lean))