Add missing @property-annotations

For proper IDE support