the copyright header is added