diff --git a/home/doomemacs/config.org b/home/doomemacs/config.org
index 2a11399..666cda9 100644
--- a/home/doomemacs/config.org
+++ b/home/doomemacs/config.org
@@ -506,12 +506,11 @@ Lean 4 is still volatile and under construction.
 		:host github
 		:repo "leanprover/lean4-mode"
 		:files ("*.el" "data")))
-(defun custom/lean4-mode-hook ()
-	(setq tab-width 2)
-	)
-(add-hook 'lean4-mode-hook #'custom/lean4-mode-hook)
 #+end_src
+
 #+begin_src emacs-lisp
+(add-hook 'lean4-mode-hook (lambda ()
+		(setq tab-width 2)))
 (map! :after lean4-mode
 	:localleader
 	:map lean4-mode-map