Bug fix #10275.