fix copyright header in various files