Misc typos and minor corrections.