Fix Github Pages bug