Some edits to the intro