Removed spurious section regarding IPv6 prefix option and applied some editorial changes.