Bug which caused empty protocol definitions on properties