Removed duplicate @property attribute.