Update because of Github Pages bug