many editorial changes and typo fixes