Typo in Section 5.3 W-types.

I think the computation rule for W-types is missing an argument.