Produce correct HTML code.