Fix github-pages building. I think.