On 12/03/2019 22:18, dennis@home wrote:
I would use a strip of plastic, say cut from an old credit card, rather
than paper.

Yes I agree, I have put it back together with the paper but the paper
will probably compress after a while and then I will replace with a
strip of plastic.