fix GitHub Pages build errors