Trying to fix a github-pages bug