Tiny change to try and get GitHub to regenerate the gh-pages branch page.