reformatting HTML