fix for issue #10880