CD player with flip-top lid - the bit inside the lid which touches the top of the CD - should this be sprung?

or is it just loose. I'm not sure whether the spring has broken, the CD disk seems to be skidding around