another fix for github pages