minor changes in the HTML