A `@property` method is definitely better than a getter. I will change this after merging.