fix typos in section 5.3, see #615
unmarked errata for 7c54e9f
Merge branch 'master' into wtypes

Conflicts:
	errata.tex
Merge pull request #618 from mikeshulman/wtypes

fix typos in section 5.3, see #615