Fix spacing on page 50.
Merge branch 'master' of https://github.com/HoTT/book
Merge branch 'issue312' of github:rpglover64/book
Merge pull request #308 from rpglover64/master

Fix spacing on page 50, section 1.12.2