updated `@property` annotations