Typo in rule on static semantics of datatype binding

[pqnelson]

There's a small typo in the rule describing the static semantics of datatype binding, lines 1004-1005 of statcor.tex, the conclusion of the rule reads:

      \begin{array}{l}
        \C\ts\newlongdatbind\ra\\
        \qquad(\cl{}{\VE}\langle +\ \VE'\rangle,\ % this is the problematic line!
        \{\tycon\mapsto(\t,\cl{}{\VE})\}\ \langle +\ \TE'\rangle
      \end{array}

But there is no closing parentheses matching the parentheses starting on line 1004 \qquad(\cl{} --- I am assuming that it should be:

      \begin{array}{l}
        \C\ts\newlongdatbind\ra\\
        \qquad(\cl{}{\VE}\langle +\ \VE'\rangle,\
        \{\tycon\mapsto(\t,\cl{}{\VE})\}\ \langle +\ \TE'\rangle) % diff, add right paren here?
      \end{array}