Correct `html[lang]`