ASDoc errata.