Fixes for github.io