reformatted HTML
More documentation work