to fix a bug in github pages