Errata for 7ae706d, unmarked.