misc change to refresh gh-pages