I can confirm:
After applying Michael's patch of 16 May, I cannot reproduce the faulty behavior anymore.
I can confirm:
After applying Michael's patch of 16 May, I cannot reproduce the faulty behavior anymore.