Added use of @property