closed <col> tags in html5 output