Fix @property syntax.