fix typos in section 5.3, see #615
unmarked errata for 7c54e9f
Merge branch 'master' into wtypes

Conflicts:
	errata.tex
Merge pull request #618 from mikeshulman/wtypes

fix typos in section 5.3, see #615
Mark Errata (auto)
Merge branch 'master' of https://github.com/HoTT/book into quotations

sync