fixes issue #8455