Fix missing character in output of CSS highlighter