These lines should be omitted from the headers of new files.