HoTT/book — pull request #711 by araratm (2014-09-19 13:56:20+00:00)
Title: Punctuation is important in the text.

Punctuation is important in the text.

I fixed 2 Punctuation problems.