ftplugin/coq.vim modified