diff --git a/plugin/syntastic.vim b/plugin/syntastic.vim
index 9c3c47cd..718ad97e 100644
--- a/plugin/syntastic.vim
+++ b/plugin/syntastic.vim
@@ -19,7 +19,7 @@ if has('reltime')
     lockvar! g:_SYNTASTIC_START
 endif
 
-let g:_SYNTASTIC_VERSION = '3.7.0-15'
+let g:_SYNTASTIC_VERSION = '3.7.0-16'
 lockvar g:_SYNTASTIC_VERSION
 
 " Sanity checks {{{1
diff --git a/syntax_checkers/coq/coqtop.vim b/syntax_checkers/coq/coqtop.vim
index 9d96a5ac..6385554d 100644
--- a/syntax_checkers/coq/coqtop.vim
+++ b/syntax_checkers/coq/coqtop.vim
@@ -22,7 +22,7 @@ function! SyntaxCheckers_coq_coqtop_GetLocList() dict
     let makeprg = self.makeprgBuild({ 'args_after': '-noglob -batch -load-vernac-source' })
 
     let errorformat =
-        \ '%AFile \"%f\"\, line %l\, characters %c\-%.%#\:,'.
+        \ '%AFile "%f"\, line %l\, characters %c-%.%#\:,'.
         \ '%C%m'
 
     return SyntasticMake({