You are right, this was it!  Thank you so much!

So, what about your patch now?  Shall we merge it?

-- 
Pierre Neidhardt
https://ambrevar.xyz/