fixing HTML highlighting