diff --git a/after/syntax/ats.vim b/after/syntax/ats.vim
index 48210e7..0f6be19 100644
--- a/after/syntax/ats.vim
+++ b/after/syntax/ats.vim
@@ -3,6 +3,7 @@ scriptencoding utf-8
 syntax match logicalAnd '&&' conceal cchar=∧
 syntax match leq '<=' conceal cchar=≤
 syntax match geq '>=' conceal cchar=≥
+syntax match neq '!=' conceal cchar=≠
 syntax match logicalOr '||' conceal cchar=∨
 
 " FIXME boring white?
diff --git a/ftplugin/ats.vim b/ftplugin/ats.vim
index 67d4941..45452f7 100644
--- a/ftplugin/ats.vim
+++ b/ftplugin/ats.vim
@@ -38,7 +38,7 @@ endfunction
 
 if g:ats_use_ctags == 1
     augroup ats
-        autocmd BufWritePost *.dats,*.cats,*.sats,*.hats silent !ctags . -R
+        autocmd BufWritePost *.dats,*.cats,*.sats,*.hats silent !ctags -R .
     augroup END
 endif
 
diff --git a/syntax/ats.vim b/syntax/ats.vim
index c6bee85..bea8572 100644
--- a/syntax/ats.vim
+++ b/syntax/ats.vim
@@ -61,7 +61,7 @@ endif
 "
 
 " keyword highlighting
-syn keyword atsKeyword prefix postfix infix infixl infixr op nonfix addr
+syn keyword atsKeyword prefix postfix infix infixl infixr op addr
 syn keyword atsKeyword staload stadef sta dynload stacst assertloc macdef
 syn keyword atsCond if then else case sif when
 syn keyword atsRepeat while