Minor editorial improvement