HTML produced validated in the W3C validator