The referenced "Type Variables in Patterns" paper does not include `P-SYN`

In the References section of the document, the normal version of the "Type Variables in Patterns" paper is mentioned. When in fact, the P-SYN typing rule is present, only in the extended one.