tweaked highlighter loading code