Changes on coq.vim.