Either this, or put a comment that it's the only ones we generate.