Hi Basil,

I think I'm onto something regarding this bug.  We can observe the same
misbehavior with the following patch: