Minor editorial.