Fix force lock bug in old spin lock implementation; thanks Eyal for spotting this