Try to fix github-pages issues