If `@doc` needs updating then it should be done by the `PropertyMethods` methods.