fix html code highlighting