minor html formatting changes