Fixes issue #4060