Fix a few more issues which appeared when deployed to GitHub.