Small fix to generated code