Correct obvious bug in IPv6.inc