close #485
unmarked errata for b7c26e3
Merge pull request #534 from mikeshulman/uastmt

fix statement of univalence, close #485