diff --git a/ftplugin/lean/lean.lua b/ftplugin/lean/lean.lua
index e2845e26..23e4a8be 100644
--- a/ftplugin/lean/lean.lua
+++ b/ftplugin/lean/lean.lua
@@ -7,7 +7,7 @@ vim.opt.wildignore:append [[*.olean]]
 
 vim.bo.iskeyword = [[a-z,A-Z,_,48-57,192-255,!,',?,#]]
 vim.bo.comments = [[s0:/-,mb: ,ex:-/,:--]]
-vim.bo.commentstring = [[/- %s -/]]
+vim.bo.commentstring = [[-- %s]]
 
 vim.bo.includeexpr = [[substitute(v:fname, '\.', '/', 'g') . '.lean']]