fixed a few HTML typos