Make github-pages work

To fix #1