Add to intro, some minor revisions in other places