syntaxhighlight bug fixed