-Another minor change to highlighter (I want to checkout past commit for
testing)