fix for issue #10483