Clean up some typos in the intro documentation