Hi,
You are correct - the examples do not show valid IPv6 addresses. The examples are missing the extra colon to indicate the short (collapsed) form of the IPv6 address. In the collapsed form, consecutive zeroes are replaced with a double colon, but this example is missing the extra colon.
The first example should contain a double set of colons after the first zero-containing block, like this:
[2001:db8:0::1]:80
or like this (with the zero block omitted):
[2001:db8::1]:80
and the second example (HTTP) should be written like this to indicate that there are four blocks of zeros omitted:
http://[2001:db8:0::1]:80
I apologize for the typo. It has since been fixed in the later version of this document.
Thanks for pointing it out.
Lisa