diff --git a/src/emacs/lean-flycheck.el b/src/emacs/lean-flycheck.el
index a4a6ab8a7..b0fb9909e 100644
--- a/src/emacs/lean-flycheck.el
+++ b/src/emacs/lean-flycheck.el
@@ -88,7 +88,7 @@ otherwise."
            :message (unless (string-empty-p message) message)
            :level level)))))
 
-(eval-after-load "flycheck.el"
+(eval-after-load "flycheck"
   '(defadvice flycheck-try-parse-error-with-pattern
      (after lean-flycheck-try-parse-error-with-pattern activate)
      "Add 1 to error-column."