Minor editorial changes in the IPv6 prefix option description.