formatting changes to HTML