update errata.html