Minor editorial change.