Fixup copyright headers

Hopefully for the last time...