I had to put a shim, soda can thickness, onto the top of the trigger "box". Now the trigger is much better. The pivot lever now positively operates the trigger bar whereas before I would get a 10% failure of the trigger not releasing the striker.

Old war guns are fun to tinker with and get back into reliable shooting condition