Make HTML validate

Fixes #15.
The HTML document now passes the w3c validator!