Auto-generated. But yeah sure, my pleasure. I think there are some other places to fix that sort of thing too