more specific erratum for 7fdadbf