fix some HTML typos