Minor edits to make it work with github's pages