some editorial changes.