replaced 'file_identifier' tag by informal file header comment