Minor changes in HTML