Fix minor typos in html section