fix antihighlight plugin