tiny typo in generated initializer