HoTT/book — pull request #322 by jcreedcmu (2013-06-25 10:55:28+00:00)
Title: base is a point in the 1-sphere, not a nat

Just a little typo fix.