(marked) errata for e33ec32
Merge pull request #689 from mikeshulman/errata

(marked) errata for e33ec32