strong from weak funext, close #507
unmarked errata for 8b15ad0
Merge pull request #529 from mikeshulman/strongfunext

strong from weak funext, close #507