minor changes to Steve's introduction (punctuation and the empty space)
Merge branch 'master' of github.com:HoTT/book