Minor editorial cleanup