These are the auto-generated codes, so I think we should leave them as-is.