Minor editorial streamlining.