Typo in Section 5.3 W-types.

I think the second call to $rec$ in the computation rule is missing an argument.