(In reply to Martin Szulecki from comment #14) Oops yes that misses a `then', thanks a lot for debugging!