fix notation in 2.1.8, close #420
add 3dde7c5 to errata (unmarked)
oops
Merge pull request #429 from mikeshulman/def-2.1.8

fix notation in 2.1.8, close #420