this attribute is generated only in check mode.