Correcting the name of the flag that's checked before instrumenting array allocation