Print header in the generated file