I'm not 100% sure now, but I'm fairly sure my idea was to use `@property` instead of `@doc`.  Not sure whether you think `@doc` has a purpose anymore?