Re #7452 Fix value in the properties.