fixup index.html to be served as github page