diff --git a/colors/highlite.vim b/colors/highlite.vim
index 2ec5a02..f505906 100644
--- a/colors/highlite.vim
+++ b/colors/highlite.vim
@@ -680,8 +680,12 @@ local highlight_groups = {
 	coqIndConstructor = 'Delimiter',
 	coqIndTerm = 'Type',
 	coqKwd = 'Keyword',
-	coqKwdParen = 'Function',
-	coqRequire  = 'Include',
+	coqKwdParen   = 'Function',
+	coqProofDelim = 'coqVernacCmd',
+	coqProofDot   = 'coqTermPunctuation',
+	coqProofPunctuation = 'coqTermPunctuation',
+	coqRequire = 'Include',
+	coqTactic  = 'Operator',
 	coqTermPunctuation = 'Delimiter',
 	coqVernacCmd = 'Statement',
 	coqVernacPunctuation = 'coqTermPunctuation',