Fix two copyright headers