minor text changes to the html page.