ditto, getter in header