typo fixes in abstract-intro-1-2-3