a bit reformatting the HTML