Iver Johnson Champion question

[Robtattoo]

Just a quicky here.
I've just picked up a really nice little IJ Champion .410 & the top lever seems very loose. Should it be sprung, or is it a simple friction lever?

 

[JohnBT]

I don't know that gun, but I'd be surprised if it was supposed to be loose, have play in it, flop around, etc.