Good point. I opened issue #8465