errata for 2fc7fde