If he wasn't, I doubt he could even boot it. But it might have encounter an error during flashing and it was not flashed. When a zip is selected to be flashed, 4EXT recovery reboots, try to flash it and if an error is present that it quits and reboots very quick. You might have no time to see if the flash was actually done or not.