Fix html weirdness

Somehow, your html file was the source of Github's view of what your old html file was. I have no idea how this happened, but this pull requests fixes it, if you'd like to merge it in.