Note a terrible bug that needs fixing.