Discuss about solution SOL6459

please look in this link http://support.f5.com/kb/en-us/solutions/public/6000/400/sol6459.html

For example, for a BIG-IP system with the following VIPs configured on the inbound VLAN:

10.0.0.0/8:80

this line in table

20.0.0.0:80 20.0.0.0/8:* - most specific address match with wildcard port

is it wrong? i think it must be

20.0.0.0:80 20.0.0.0/8:80 - most specific address match with wildcard port

or i'm mistaken ?

thank you