Minor editorial changes from EOWG