Errata for 9b8a4b6d, unmarked