Minor editorial tweak.