fixes issue #7965

got you !