a few editorial changes