55.2-59 55-59 brake light switch

[burnin oil]

Stupid question here. Is the factory brake light switch spring loaded? I have been working on geting the 57 GMC back on the road and found that the brake light switch had a big spring wrapped around the brake pedal and I know this was a backyard repair. I am just not sure if if the switch was spring loaded or if it attaches to the pedal in some fashion. I would attach a picture of what's there but it's really busy right there with PTO cables and the SBC exhaust is pretty close for getting the phone in there for a clear shot. Thanks.