fix some typos, minor editorial changes