Minor changes for presentation on GitHub