From 18.5.3:

"non-wildcard parameterization (§9.8)"

This should instead point to 9.9:

"non-wildcard parameterization ***(§9.9)***"

In addition, a cross reference would be useful on the word "instantiation" (some people found the meaning confusing, wondering if it implied resolution):

"If B contains an instantiation ***(§18.1.3)*** for αi, T, then A'i = T."