adding a @property annotation