Is this needed: these don't seem to be used in initializers as far as I see.