Fix some copyright headers.