updating abstract according to nits (mentioning that RFC 4287 gets updated)