added highlighter, back to 4_3