Fix double copyright header.