HoTT/book — pull request #589 by mr- (2013-12-20 13:07:14+00:00)
Title: Typo in Section 5.3 W-types.

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