minor changes related to tag highlighting