fixing up the HTML