Correct @property documentation.