Fix some typos in abstract, intro