Minor editorial fixes.