Small editorial changes.