Tweaked style in generated code