diff --git a/vimrc b/vimrc
index a79c81a..baf9625 100644
--- a/vimrc
+++ b/vimrc
@@ -113,8 +113,12 @@ Plug 'hrsh7th/nvim-compe'
 if isdirectory(expand('~/lean.nvim'))
   Plug '~/lean.nvim'
 else
-  " Plug 'Julian/lean.nvim'
-  Plug 'gebner/lean.nvim'
+  Plug 'Julian/lean.nvim'
+endif
+if isdirectory(expand('~/lean.vim'))
+  Plug '~/lean.vim'
+else
+  Plug 'leanprover/lean.vim'
 endif
 Plug 'neovim/nvim-lspconfig'
 
@@ -308,6 +312,7 @@ hi LspReferenceWrite cterm=bold ctermbg=red guibg=LightYellow
 hi LspDiagnosticsDefaultError cterm=bold ctermfg=Red
 hi LspDiagnosticsDefaultWarning cterm=bold ctermfg=Yellow
 hi LspDiagnosticsDefaultInformation ctermfg=Blue
+hi link SpecialChar Character
 
 au syntax leaninfo setl scl=no