What model civic (EX, DX)?

Did he drop the sensor when swapping it over? He may have also pulled the wires out of the plug if he wasn't careful. It can sometimes be hard to get that plug apart...