fixes issue #7965

Seems that I was trying something and I removed it by mistake considering that!