Another github.io fixes