Fixed a few HTML typos. Fixes #11