fix html highlight