yet another erratum