"explicit properties contract" attribute setting fix