fix a bug in the syntax colorer