modified:   ftplugin/coq.vim (small modification)