Correct generation of HTML