fix statement of univalence, close #485