I'm trying to repair an old Walkman and have come across a switch that I'm not sure about. It is described as a leaf spring switch, part #1-571-986-11. But it only has one leaf on it. I'm wondering if the other has broken off or if it is supposed to be this way. I've attached 2 photos. The way it works is that you press the "play" button and a plastic arm presses this switch. I can't tell if there's another contact on the plastic arm and I can't find any photos online of this switch. Has anyone seen a switch like this before that only has one contact or am I correct that the other one has broken off?