IPv4 in IPv6 RFC is actually 4291. Comments updated