Hopefully fix a syntax highlighter synchronization bug...