update for html source highlight