Add missing @property