HoTT/book — pull request #755 by Pierre-Yves-Gaillard (2014-12-31 08:59:18+00:00)
Title: Punctuation

Added a period and a space.