fix typos in HTML