Clarified header docs for generated files.

The initial comment had repeated words and was unclear about its purpose.