fixes syntax highlighting refresh/timeout bug