Tried a minor fix to have it build on github pages