Bringing gh-pages up-to-date.

Fixes #9