RFC4193 is fc00::/7, not fc00::/15.  Also fix two typos in RFC4843()
and RFC6052