trouble ticket #7919 just showed up. It can be closed.

Thanks