for keeping custom github pages happy