Ok, thanks for the details. At some point I thought I had reproduced the bug, but subsequent trials all worked. Let's see.