Probably more due to unequal amount of torque on the cylinder head bolts. They took two bolts or nuts off, put the springs on, and screwed them back on without retorqing all of the head bolts/studs. Either that or the springs being there caused the head to cool unevenly causing the warp, but I doubt it.