fixes issue #5123