HoTT/book — pull request #510 by peterbb (2013-11-08 08:55:02+00:00)
Title: Typo.

The statement which is given does not hold in general. I have changed it to something which at least hold, but I can't know what was supposed to stand there.