minor revisions, typo fixes