fix definition of WHom, close #597
unmarked errata for f9e542b
Merge pull request #605 from mikeshulman/whom

fix definition of WHom, close #597