Try to make GitHub pages happy.