Hello Don Lewis ,
Although this behaviour is not very frequently seen for other customers, I have filed a bug report (Bug ID: 317091), to bring this to developers notice. I will let you know if I get to know more regarding this. Until then you can use the
tool, if that is working for you.
Regards.