Just set it back to 0x3F800000.