Some minor fixes as I work on moving to github.io