Fixed some typos, added some references.